@inproceedings{conf/ifm/NepomniaschySBK02,
  added-at = {2016-01-28T00:00:00.000+0100},
  author = {Nepomniaschy, V. A. and Shilov, Nikolay V. and Bodin, Evgeny V. and Kozura, Vitaly E.},
  biburl = {http://www.bibsonomy.org/bibtex/2fd3aa3d88b30a1a7de9a1f5da6afd142/dblp},
  booktitle = {IFM},
  crossref = {conf/ifm/2002},
  editor = {Butler, Michael J. and Petre, Luigia and Sere, Kaisa},
  ee = {http://dx.doi.org/10.1007/3-540-47884-1_5},
  interhash = {599d0337d338a52a576352b925f4482f},
  intrahash = {fd3aa3d88b30a1a7de9a1f5da6afd142},
  isbn = {3-540-43703-7},
  keywords = {dblp},
  pages = {69-88},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  timestamp = {2016-01-29T11:50:20.000+0100},
  title = {Basic-REAL: Integrated Approach for Design, Specification and Verification of Distributed Systems.},
  url = {http://dblp.uni-trier.de/db/conf/ifm/ifm2002.html#NepomniaschySBK02},
  volume = 2335,
  year = 2002
}

{"_id":"a2LuwuJaMPZ7bDS2W","bibbaseid":"nepomniaschy-shilov-bodin-kozura-basicrealintegratedapproachfordesignspecificationandverificationofdistributedsystems-2002","downloads":0,"creationDate":"2016-02-09T06:01:06.277Z","title":"Basic-REAL: Integrated Approach for Design, Specification and Verification of Distributed Systems.","author_short":["Nepomniaschy, V. A.","Shilov, N. V.","Bodin, E. V.","Kozura, V. E."],"year":2002,"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/Krishnakumar, V?items=1000","bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2016-01-28T00:00:00.000+0100","author":[{"propositions":[],"lastnames":["Nepomniaschy"],"firstnames":["V.","A."],"suffixes":[]},{"propositions":[],"lastnames":["Shilov"],"firstnames":["Nikolay","V."],"suffixes":[]},{"propositions":[],"lastnames":["Bodin"],"firstnames":["Evgeny","V."],"suffixes":[]},{"propositions":[],"lastnames":["Kozura"],"firstnames":["Vitaly","E."],"suffixes":[]}],"biburl":"http://www.bibsonomy.org/bibtex/2fd3aa3d88b30a1a7de9a1f5da6afd142/dblp","booktitle":"IFM","crossref":"conf/ifm/2002","editor":[{"propositions":[],"lastnames":["Butler"],"firstnames":["Michael","J."],"suffixes":[]},{"propositions":[],"lastnames":["Petre"],"firstnames":["Luigia"],"suffixes":[]},{"propositions":[],"lastnames":["Sere"],"firstnames":["Kaisa"],"suffixes":[]}],"ee":"http://dx.doi.org/10.1007/3-540-47884-1_5","interhash":"599d0337d338a52a576352b925f4482f","intrahash":"fd3aa3d88b30a1a7de9a1f5da6afd142","isbn":"3-540-43703-7","keywords":"dblp","pages":"69-88","publisher":"Springer","series":"Lecture Notes in Computer Science","timestamp":"2016-01-29T11:50:20.000+0100","title":"Basic-REAL: Integrated Approach for Design, Specification and Verification of Distributed Systems.","url":"http://dblp.uni-trier.de/db/conf/ifm/ifm2002.html#NepomniaschySBK02","volume":"2335","year":"2002","bibtex":"@inproceedings{conf/ifm/NepomniaschySBK02,\n added-at = {2016-01-28T00:00:00.000+0100},\n author = {Nepomniaschy, V. A. and Shilov, Nikolay V. and Bodin, Evgeny V. and Kozura, Vitaly E.},\n biburl = {http://www.bibsonomy.org/bibtex/2fd3aa3d88b30a1a7de9a1f5da6afd142/dblp},\n booktitle = {IFM},\n crossref = {conf/ifm/2002},\n editor = {Butler, Michael J. and Petre, Luigia and Sere, Kaisa},\n ee = {http://dx.doi.org/10.1007/3-540-47884-1_5},\n interhash = {599d0337d338a52a576352b925f4482f},\n intrahash = {fd3aa3d88b30a1a7de9a1f5da6afd142},\n isbn = {3-540-43703-7},\n keywords = {dblp},\n pages = {69-88},\n publisher = {Springer},\n series = {Lecture Notes in Computer Science},\n timestamp = {2016-01-29T11:50:20.000+0100},\n title = {Basic-REAL: Integrated Approach for Design, Specification and Verification of Distributed Systems.},\n url = {http://dblp.uni-trier.de/db/conf/ifm/ifm2002.html#NepomniaschySBK02},\n volume = 2335,\n year = 2002\n}\n\n","author_short":["Nepomniaschy, V. A.","Shilov, N. V.","Bodin, E. V.","Kozura, V. E."],"editor_short":["Butler, M. J.","Petre, L.","Sere, K."],"key":"conf/ifm/NepomniaschySBK02","id":"conf/ifm/NepomniaschySBK02","bibbaseid":"nepomniaschy-shilov-bodin-kozura-basicrealintegratedapproachfordesignspecificationandverificationofdistributedsystems-2002","role":"author","urls":{"Link":"http://dx.doi.org/10.1007/3-540-47884-1_5","Paper":"http://dblp.uni-trier.de/db/conf/ifm/ifm2002.html#NepomniaschySBK02"},"keyword":["dblp"],"downloads":0},"search_terms":["basic","real","integrated","approach","design","specification","verification","distributed","systems","nepomniaschy","shilov","bodin","kozura"],"keywords":["dblp"],"authorIDs":[],"dataSources":["qcwuM7Zzcbynrts5v"]}