@inproceedings{conf/date/IliasovASM14,
  added-at = {2015-11-10T00:00:00.000+0100},
  author = {Iliasov, Alex and Alekseyev, Arseniy and Sokolov, Danil and Mokhov, Andrey},
  biburl = {http://www.bibsonomy.org/bibtex/2e0cc17f87fda8c5bbc6c75370d9d1b84/dblp},
  booktitle = {DATE},
  crossref = {conf/date/2014},
  editor = {Fettweis, Gerhard and Nebel, Wolfgang},
  ee = {http://dl.acm.org/citation.cfm?id=2616713},
  interhash = {216dbe089a2ad118997edf988dae0ee6},
  intrahash = {e0cc17f87fda8c5bbc6c75370d9d1b84},
  isbn = {978-3-9815370-2-4},
  keywords = {dblp},
  pages = {1-4},
  publisher = {European Design and Automation Association},
  timestamp = {2015-11-11T11:48:43.000+0100},
  title = {Design of safety critical systems by refinement.},
  url = {http://dblp.uni-trier.de/db/conf/date/date2014.html#IliasovASM14},
  year = 2014
}

{"_id":"ci7y9xwskEuPCCZEA","bibbaseid":"iliasov-alekseyev-sokolov-mokhov-designofsafetycriticalsystemsbyrefinement-2014","downloads":0,"creationDate":"2016-01-22T05:24:52.540Z","title":"Design of safety critical systems by refinement.","author_short":["Iliasov, A.","Alekseyev, A.","Sokolov, D.","Mokhov, A."],"year":2014,"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/Igor Sokolov?items=1000","bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2015-11-10T00:00:00.000+0100","author":[{"propositions":[],"lastnames":["Iliasov"],"firstnames":["Alex"],"suffixes":[]},{"propositions":[],"lastnames":["Alekseyev"],"firstnames":["Arseniy"],"suffixes":[]},{"propositions":[],"lastnames":["Sokolov"],"firstnames":["Danil"],"suffixes":[]},{"propositions":[],"lastnames":["Mokhov"],"firstnames":["Andrey"],"suffixes":[]}],"biburl":"http://www.bibsonomy.org/bibtex/2e0cc17f87fda8c5bbc6c75370d9d1b84/dblp","booktitle":"DATE","crossref":"conf/date/2014","editor":[{"propositions":[],"lastnames":["Fettweis"],"firstnames":["Gerhard"],"suffixes":[]},{"propositions":[],"lastnames":["Nebel"],"firstnames":["Wolfgang"],"suffixes":[]}],"ee":"http://dl.acm.org/citation.cfm?id=2616713","interhash":"216dbe089a2ad118997edf988dae0ee6","intrahash":"e0cc17f87fda8c5bbc6c75370d9d1b84","isbn":"978-3-9815370-2-4","keywords":"dblp","pages":"1-4","publisher":"European Design and Automation Association","timestamp":"2015-11-11T11:48:43.000+0100","title":"Design of safety critical systems by refinement.","url":"http://dblp.uni-trier.de/db/conf/date/date2014.html#IliasovASM14","year":"2014","bibtex":"@inproceedings{conf/date/IliasovASM14,\n added-at = {2015-11-10T00:00:00.000+0100},\n author = {Iliasov, Alex and Alekseyev, Arseniy and Sokolov, Danil and Mokhov, Andrey},\n biburl = {http://www.bibsonomy.org/bibtex/2e0cc17f87fda8c5bbc6c75370d9d1b84/dblp},\n booktitle = {DATE},\n crossref = {conf/date/2014},\n editor = {Fettweis, Gerhard and Nebel, Wolfgang},\n ee = {http://dl.acm.org/citation.cfm?id=2616713},\n interhash = {216dbe089a2ad118997edf988dae0ee6},\n intrahash = {e0cc17f87fda8c5bbc6c75370d9d1b84},\n isbn = {978-3-9815370-2-4},\n keywords = {dblp},\n pages = {1-4},\n publisher = {European Design and Automation Association},\n timestamp = {2015-11-11T11:48:43.000+0100},\n title = {Design of safety critical systems by refinement.},\n url = {http://dblp.uni-trier.de/db/conf/date/date2014.html#IliasovASM14},\n year = 2014\n}\n\n","author_short":["Iliasov, A.","Alekseyev, A.","Sokolov, D.","Mokhov, A."],"editor_short":["Fettweis, G.","Nebel, W."],"key":"conf/date/IliasovASM14","id":"conf/date/IliasovASM14","bibbaseid":"iliasov-alekseyev-sokolov-mokhov-designofsafetycriticalsystemsbyrefinement-2014","role":"author","urls":{"Link":"http://dl.acm.org/citation.cfm?id=2616713","Paper":"http://dblp.uni-trier.de/db/conf/date/date2014.html#IliasovASM14"},"keyword":["dblp"],"downloads":0},"search_terms":["design","safety","critical","systems","refinement","iliasov","alekseyev","sokolov","mokhov"],"keywords":["dblp"],"authorIDs":[],"dataSources":["h2zaCTy5Y74MDBFyN"]}