@inproceedings{ conf/models/PiresPWD13,
  added-at = {2013-09-20T00:00:00.000+0200},
  author = {Pires, Anthony Fernandes and Polacsek, Thomas and Wiels, Virginie and Duprat, Stéphane},
  biburl = {http://www.bibsonomy.org/bibtex/257abbd5002e4831e523cc5297fe264e3/dblp},
  booktitle = {MoDELS},
  crossref = {conf/models/2013},
  editor = {Moreira, Ana and Schätz, Bernhard and Gray, Jeff and Vallecillo, Antonio and Clarke, Peter J.},
  ee = {http://dx.doi.org/10.1007/978-3-642-41533-3_20},
  interhash = {e5d982daa0ff8649ca5e4f697a42587e},
  intrahash = {57abbd5002e4831e523cc5297fe264e3},
  isbn = {978-3-642-41532-6},
  keywords = {dblp},
  pages = {320-335},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {Behavioural Verification in Embedded Software, from Model to Source Code.},
  url = {http://dblp.uni-trier.de/db/conf/models/models2013.html#PiresPWD13},
  volume = {8107},
  year = {2013}
}

{"_id":"oX2xbqKjKsqkHZxHy","bibbaseid":"pires-fernandes-polacsek-wiels-duprat-behaviouralverificationinembeddedsoftwarefrommodeltosourcecode-2013","downloads":0,"creationDate":"2015-08-22T08:24:50.436Z","title":"Behavioural Verification in Embedded Software, from Model to Source Code.","author_short":["Pires","Fernandes, A.","Polacsek, T.","Wiels, V.","Duprat, S."],"year":2013,"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/polacsek?items=1000","bibdata":{"added-at":"2013-09-20T00:00:00.000+0200","author":["Pires","Fernandes, Anthony","Polacsek, Thomas","Wiels, Virginie","Duprat, Stéphane"],"author_short":["Pires","Fernandes, A.","Polacsek, T.","Wiels, V.","Duprat, S."],"bibtex":"@inproceedings{ conf/models/PiresPWD13,\n added-at = {2013-09-20T00:00:00.000+0200},\n author = {Pires, Anthony Fernandes and Polacsek, Thomas and Wiels, Virginie and Duprat, Stéphane},\n biburl = {http://www.bibsonomy.org/bibtex/257abbd5002e4831e523cc5297fe264e3/dblp},\n booktitle = {MoDELS},\n crossref = {conf/models/2013},\n editor = {Moreira, Ana and Schätz, Bernhard and Gray, Jeff and Vallecillo, Antonio and Clarke, Peter J.},\n ee = {http://dx.doi.org/10.1007/978-3-642-41533-3_20},\n interhash = {e5d982daa0ff8649ca5e4f697a42587e},\n intrahash = {57abbd5002e4831e523cc5297fe264e3},\n isbn = {978-3-642-41532-6},\n keywords = {dblp},\n pages = {320-335},\n publisher = {Springer},\n series = {Lecture Notes in Computer Science},\n title = {Behavioural Verification in Embedded Software, from Model to Source Code.},\n url = {http://dblp.uni-trier.de/db/conf/models/models2013.html#PiresPWD13},\n volume = {8107},\n year = {2013}\n}","bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bibtex/257abbd5002e4831e523cc5297fe264e3/dblp","booktitle":"MoDELS","crossref":"conf/models/2013","editor":["Moreira, Ana","Schätz, Bernhard","Gray, Jeff","Vallecillo, Antonio","Clarke, Peter J."],"editor_short":["Moreira, A.","Schätz, B.","Gray, J.","Vallecillo, A.","Clarke, P.<nbsp>J."],"ee":"http://dx.doi.org/10.1007/978-3-642-41533-3_20","id":"conf/models/PiresPWD13","interhash":"e5d982daa0ff8649ca5e4f697a42587e","intrahash":"57abbd5002e4831e523cc5297fe264e3","isbn":"978-3-642-41532-6","key":"conf/models/PiresPWD13","keywords":"dblp","pages":"320-335","publisher":"Springer","series":"Lecture Notes in Computer Science","title":"Behavioural Verification in Embedded Software, from Model to Source Code.","type":"inproceedings","url":"http://dblp.uni-trier.de/db/conf/models/models2013.html#PiresPWD13","volume":"8107","year":"2013","bibbaseid":"pires-fernandes-polacsek-wiels-duprat-behaviouralverificationinembeddedsoftwarefrommodeltosourcecode-2013","role":"author","urls":{"Link":"http://dx.doi.org/10.1007/978-3-642-41533-3_20","Paper":"http://dblp.uni-trier.de/db/conf/models/models2013.html#PiresPWD13"},"keyword":["dblp"],"downloads":0},"search_terms":["behavioural","verification","embedded","software","model","source","code","pires","fernandes","polacsek","wiels","duprat"],"keywords":["dblp"],"authorIDs":[],"dataSources":["SqczRTp3Yj8q8fk7q"]}