@inproceedings{conf/nfm/BalasubramanianPBPKLW12,
  added-at = {2017-05-25T00:00:00.000+0200},
  author = {Balasubramanian, Daniel and Pasareanu, Corina S. and Biatek, Jason and Pressburger, Thomas and Karsai, Gabor and Lowry, Michael R. and Whalen, Michael W.},
  biburl = {https://www.bibsonomy.org/bibtex/28569c36a1a1e5be261e39c95f859b18f/dblp},
  booktitle = {NASA Formal Methods},
  crossref = {conf/nfm/2012},
  editor = {Goodloe, Alwyn and Person, Suzette},
  ee = {https://doi.org/10.1007/978-3-642-28891-3_26},
  interhash = {c057f12ddd0e089b111c32f82f2af437},
  intrahash = {8569c36a1a1e5be261e39c95f859b18f},
  isbn = {978-3-642-28890-6},
  keywords = {dblp},
  pages = {267-272},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  timestamp = {2019-05-15T14:10:40.000+0200},
  title = {Integrating Statechart Components in Polyglot.},
  url = {http://dblp.uni-trier.de/db/conf/nfm/nfm2012.html#BalasubramanianPBPKLW12},
  volume = 7226,
  year = 2012
}

{"_id":"WjdPyvnfAxbrJA6s5","bibbaseid":"balasubramanian-pasareanu-biatek-pressburger-karsai-lowry-whalen-integratingstatechartcomponentsinpolyglot-2012","authorIDs":[],"author_short":["Balasubramanian, D.","Pasareanu, C. S.","Biatek, J.","Pressburger, T.","Karsai, G.","Lowry, M. R.","Whalen, M. W."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2017-05-25T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Balasubramanian"],"firstnames":["Daniel"],"suffixes":[]},{"propositions":[],"lastnames":["Pasareanu"],"firstnames":["Corina","S."],"suffixes":[]},{"propositions":[],"lastnames":["Biatek"],"firstnames":["Jason"],"suffixes":[]},{"propositions":[],"lastnames":["Pressburger"],"firstnames":["Thomas"],"suffixes":[]},{"propositions":[],"lastnames":["Karsai"],"firstnames":["Gabor"],"suffixes":[]},{"propositions":[],"lastnames":["Lowry"],"firstnames":["Michael","R."],"suffixes":[]},{"propositions":[],"lastnames":["Whalen"],"firstnames":["Michael","W."],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/28569c36a1a1e5be261e39c95f859b18f/dblp","booktitle":"NASA Formal Methods","crossref":"conf/nfm/2012","editor":[{"propositions":[],"lastnames":["Goodloe"],"firstnames":["Alwyn"],"suffixes":[]},{"propositions":[],"lastnames":["Person"],"firstnames":["Suzette"],"suffixes":[]}],"ee":"https://doi.org/10.1007/978-3-642-28891-3_26","interhash":"c057f12ddd0e089b111c32f82f2af437","intrahash":"8569c36a1a1e5be261e39c95f859b18f","isbn":"978-3-642-28890-6","keywords":"dblp","pages":"267-272","publisher":"Springer","series":"Lecture Notes in Computer Science","timestamp":"2019-05-15T14:10:40.000+0200","title":"Integrating Statechart Components in Polyglot.","url":"http://dblp.uni-trier.de/db/conf/nfm/nfm2012.html#BalasubramanianPBPKLW12","volume":"7226","year":"2012","bibtex":"@inproceedings{conf/nfm/BalasubramanianPBPKLW12,\n added-at = {2017-05-25T00:00:00.000+0200},\n author = {Balasubramanian, Daniel and Pasareanu, Corina S. and Biatek, Jason and Pressburger, Thomas and Karsai, Gabor and Lowry, Michael R. and Whalen, Michael W.},\n biburl = {https://www.bibsonomy.org/bibtex/28569c36a1a1e5be261e39c95f859b18f/dblp},\n booktitle = {NASA Formal Methods},\n crossref = {conf/nfm/2012},\n editor = {Goodloe, Alwyn and Person, Suzette},\n ee = {https://doi.org/10.1007/978-3-642-28891-3_26},\n interhash = {c057f12ddd0e089b111c32f82f2af437},\n intrahash = {8569c36a1a1e5be261e39c95f859b18f},\n isbn = {978-3-642-28890-6},\n keywords = {dblp},\n pages = {267-272},\n publisher = {Springer},\n series = {Lecture Notes in Computer Science},\n timestamp = {2019-05-15T14:10:40.000+0200},\n title = {Integrating Statechart Components in Polyglot.},\n url = {http://dblp.uni-trier.de/db/conf/nfm/nfm2012.html#BalasubramanianPBPKLW12},\n volume = 7226,\n year = 2012\n}\n\n","author_short":["Balasubramanian, D.","Pasareanu, C. S.","Biatek, J.","Pressburger, T.","Karsai, G.","Lowry, M. R.","Whalen, M. W."],"editor_short":["Goodloe, A.","Person, S."],"key":"conf/nfm/BalasubramanianPBPKLW12","id":"conf/nfm/BalasubramanianPBPKLW12","bibbaseid":"balasubramanian-pasareanu-biatek-pressburger-karsai-lowry-whalen-integratingstatechartcomponentsinpolyglot-2012","role":"author","urls":{"Link":"https://doi.org/10.1007/978-3-642-28891-3_26","Paper":"http://dblp.uni-trier.de/db/conf/nfm/nfm2012.html#BalasubramanianPBPKLW12"},"keyword":["dblp"],"downloads":0},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/corina?items=1000","creationDate":"2019-05-18T19:26:18.281Z","downloads":0,"keywords":["dblp"],"search_terms":["integrating","statechart","components","polyglot","balasubramanian","pasareanu","biatek","pressburger","karsai","lowry","whalen"],"title":"Integrating Statechart Components in Polyglot.","year":2012,"dataSources":["nk4Sfi2ddzBtdLpRN"]}