@inproceedings{conf/fm/LeuschelFFP09,
  added-at = {2017-05-22T00:00:00.000+0200},
  author = {Leuschel, Michael and Falampin, Jérôme and Fritz, Fabian and Plagge, Daniel},
  biburl = {https://www.bibsonomy.org/bibtex/2f88fc8219311000eca8522e4c867abc4/dblp},
  booktitle = {FM},
  crossref = {conf/fm/2009},
  editor = {Cavalcanti, Ana and Dams, Dennis},
  ee = {https://doi.org/10.1007/978-3-642-05089-3_45},
  interhash = {acfedd5cf9d5198b4b3c5a39fcc41d6a},
  intrahash = {f88fc8219311000eca8522e4c867abc4},
  isbn = {978-3-642-05088-6},
  keywords = {dblp},
  pages = {708-723},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  timestamp = {2019-05-15T16:58:49.000+0200},
  title = {Automated Property Verification for Large Scale B Models.},
  url = {http://dblp.uni-trier.de/db/conf/fm/fm2009.html#LeuschelFFP09},
  volume = 5850,
  year = 2009
}

{"_id":"D3zzrHf6S3jcMoX7t","bibbaseid":"leuschel-falampin-fritz-plagge-automatedpropertyverificationforlargescalebmodels-2009","authorIDs":[],"author_short":["Leuschel, M.","Falampin, J.","Fritz, F.","Plagge, D."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2017-05-22T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Leuschel"],"firstnames":["Michael"],"suffixes":[]},{"propositions":[],"lastnames":["Falampin"],"firstnames":["Jérôme"],"suffixes":[]},{"propositions":[],"lastnames":["Fritz"],"firstnames":["Fabian"],"suffixes":[]},{"propositions":[],"lastnames":["Plagge"],"firstnames":["Daniel"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/2f88fc8219311000eca8522e4c867abc4/dblp","booktitle":"FM","crossref":"conf/fm/2009","editor":[{"propositions":[],"lastnames":["Cavalcanti"],"firstnames":["Ana"],"suffixes":[]},{"propositions":[],"lastnames":["Dams"],"firstnames":["Dennis"],"suffixes":[]}],"ee":"https://doi.org/10.1007/978-3-642-05089-3_45","interhash":"acfedd5cf9d5198b4b3c5a39fcc41d6a","intrahash":"f88fc8219311000eca8522e4c867abc4","isbn":"978-3-642-05088-6","keywords":"dblp","pages":"708-723","publisher":"Springer","series":"Lecture Notes in Computer Science","timestamp":"2019-05-15T16:58:49.000+0200","title":"Automated Property Verification for Large Scale B Models.","url":"http://dblp.uni-trier.de/db/conf/fm/fm2009.html#LeuschelFFP09","volume":"5850","year":"2009","bibtex":"@inproceedings{conf/fm/LeuschelFFP09,\n added-at = {2017-05-22T00:00:00.000+0200},\n author = {Leuschel, Michael and Falampin, Jérôme and Fritz, Fabian and Plagge, Daniel},\n biburl = {https://www.bibsonomy.org/bibtex/2f88fc8219311000eca8522e4c867abc4/dblp},\n booktitle = {FM},\n crossref = {conf/fm/2009},\n editor = {Cavalcanti, Ana and Dams, Dennis},\n ee = {https://doi.org/10.1007/978-3-642-05089-3_45},\n interhash = {acfedd5cf9d5198b4b3c5a39fcc41d6a},\n intrahash = {f88fc8219311000eca8522e4c867abc4},\n isbn = {978-3-642-05088-6},\n keywords = {dblp},\n pages = {708-723},\n publisher = {Springer},\n series = {Lecture Notes in Computer Science},\n timestamp = {2019-05-15T16:58:49.000+0200},\n title = {Automated Property Verification for Large Scale B Models.},\n url = {http://dblp.uni-trier.de/db/conf/fm/fm2009.html#LeuschelFFP09},\n volume = 5850,\n year = 2009\n}\n\n","author_short":["Leuschel, M.","Falampin, J.","Fritz, F.","Plagge, D."],"editor_short":["Cavalcanti, A.","Dams, D."],"key":"conf/fm/LeuschelFFP09","id":"conf/fm/LeuschelFFP09","bibbaseid":"leuschel-falampin-fritz-plagge-automatedpropertyverificationforlargescalebmodels-2009","role":"author","urls":{"Link":"https://doi.org/10.1007/978-3-642-05089-3_45","Paper":"http://dblp.uni-trier.de/db/conf/fm/fm2009.html#LeuschelFFP09"},"keyword":["dblp"],"downloads":0},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/fritz?items=1000","creationDate":"2019-07-04T22:53:30.301Z","downloads":0,"keywords":["dblp"],"search_terms":["automated","property","verification","large","scale","models","leuschel","falampin","fritz","plagge"],"title":"Automated Property Verification for Large Scale B Models.","year":2009,"dataSources":["P8qTtTCTHaCFodAoX"]}