@inproceedings{DBLP:conf/hybrid/HuangM14,
  author    = {Zhenqi Huang and
               Sayan Mitra},
  editor    = {Martin Fr{\"{a}}nzle and
               John Lygeros},
  title     = {Proofs from simulations and modular annotations},
  booktitle = {17th International Conference on Hybrid Systems: Computation and Control
               (part of {CPS} Week), HSCC'14, Berlin, Germany, April 15-17, 2014},
  pages     = {183--192},
  publisher = {{ACM}},
  year      = {2014},
  url       = {https://doi.org/10.1145/2562059.2562126},
  doi       = {10.1145/2562059.2562126},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/hybrid/HuangM14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"AzqHNZq7gvQzKmZWA","bibbaseid":"huang-mitra-proofsfromsimulationsandmodularannotations-2014","downloads":0,"creationDate":"2017-10-05T05:28:26.983Z","title":"Proofs from simulations and modular annotations","author_short":["Huang, Z.","Mitra, S."],"year":2014,"bibtype":"inproceedings","biburl":"https://dblp.org/pid/07/3797.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Zhenqi"],"propositions":[],"lastnames":["Huang"],"suffixes":[]},{"firstnames":["Sayan"],"propositions":[],"lastnames":["Mitra"],"suffixes":[]}],"editor":[{"firstnames":["Martin"],"propositions":[],"lastnames":["Fränzle"],"suffixes":[]},{"firstnames":["John"],"propositions":[],"lastnames":["Lygeros"],"suffixes":[]}],"title":"Proofs from simulations and modular annotations","booktitle":"17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), HSCC'14, Berlin, Germany, April 15-17, 2014","pages":"183–192","publisher":"ACM","year":"2014","url":"https://doi.org/10.1145/2562059.2562126","doi":"10.1145/2562059.2562126","timestamp":"Tue, 06 Nov 2018 00:00:00 +0100","biburl":"https://dblp.org/rec/conf/hybrid/HuangM14.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/hybrid/HuangM14,\n author = {Zhenqi Huang and\n Sayan Mitra},\n editor = {Martin Fr{\\\"{a}}nzle and\n John Lygeros},\n title = {Proofs from simulations and modular annotations},\n booktitle = {17th International Conference on Hybrid Systems: Computation and Control\n (part of {CPS} Week), HSCC'14, Berlin, Germany, April 15-17, 2014},\n pages = {183--192},\n publisher = {{ACM}},\n year = {2014},\n url = {https://doi.org/10.1145/2562059.2562126},\n doi = {10.1145/2562059.2562126},\n timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},\n biburl = {https://dblp.org/rec/conf/hybrid/HuangM14.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Huang, Z.","Mitra, S."],"editor_short":["Fränzle, M.","Lygeros, J."],"key":"DBLP:conf/hybrid/HuangM14","id":"DBLP:conf/hybrid/HuangM14","bibbaseid":"huang-mitra-proofsfromsimulationsandmodularannotations-2014","role":"author","urls":{"Paper":"https://doi.org/10.1145/2562059.2562126"},"downloads":0},"search_terms":["proofs","simulations","modular","annotations","huang","mitra"],"keywords":["verification","hybrid systems","distributed systems","dblp"],"authorIDs":[],"dataSources":["64vhzPQouTD2xtS3j"]}