@inproceedings{DBLP:conf/formats/JohnsonM14,
  author    = {Taylor T. Johnson and
               Sayan Mitra},
  editor    = {Axel Legay and
               Marius Bozga},
  title     = {Anonymized Reachability of Hybrid Automata Networks},
  booktitle = {Formal Modeling and Analysis of Timed Systems - 12th International
               Conference, {FORMATS} 2014, Florence, Italy, September 8-10, 2014.
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8711},
  pages     = {130--145},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-10512-3\_10},
  doi       = {10.1007/978-3-319-10512-3\_10},
  timestamp = {Tue, 14 May 2019 10:00:38 +0200},
  biburl    = {https://dblp.org/rec/conf/formats/JohnsonM14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"GiAKwouwazPvYJDMz","bibbaseid":"johnson-mitra-anonymizedreachabilityofhybridautomatanetworks-2014","downloads":0,"creationDate":"2017-10-05T05:28:26.986Z","title":"Anonymized Reachability of Hybrid Automata Networks","author_short":["Johnson, T. T.","Mitra, S."],"year":2014,"bibtype":"inproceedings","biburl":"https://dblp.org/pid/07/3797.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Taylor","T."],"propositions":[],"lastnames":["Johnson"],"suffixes":[]},{"firstnames":["Sayan"],"propositions":[],"lastnames":["Mitra"],"suffixes":[]}],"editor":[{"firstnames":["Axel"],"propositions":[],"lastnames":["Legay"],"suffixes":[]},{"firstnames":["Marius"],"propositions":[],"lastnames":["Bozga"],"suffixes":[]}],"title":"Anonymized Reachability of Hybrid Automata Networks","booktitle":"Formal Modeling and Analysis of Timed Systems - 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014. Proceedings","series":"Lecture Notes in Computer Science","volume":"8711","pages":"130–145","publisher":"Springer","year":"2014","url":"https://doi.org/10.1007/978-3-319-10512-3_10","doi":"10.1007/978-3-319-10512-3_10","timestamp":"Tue, 14 May 2019 10:00:38 +0200","biburl":"https://dblp.org/rec/conf/formats/JohnsonM14.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/formats/JohnsonM14,\n author = {Taylor T. Johnson and\n Sayan Mitra},\n editor = {Axel Legay and\n Marius Bozga},\n title = {Anonymized Reachability of Hybrid Automata Networks},\n booktitle = {Formal Modeling and Analysis of Timed Systems - 12th International\n Conference, {FORMATS} 2014, Florence, Italy, September 8-10, 2014.\n Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {8711},\n pages = {130--145},\n publisher = {Springer},\n year = {2014},\n url = {https://doi.org/10.1007/978-3-319-10512-3\\_10},\n doi = {10.1007/978-3-319-10512-3\\_10},\n timestamp = {Tue, 14 May 2019 10:00:38 +0200},\n biburl = {https://dblp.org/rec/conf/formats/JohnsonM14.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Johnson, T. T.","Mitra, S."],"editor_short":["Legay, A.","Bozga, M."],"key":"DBLP:conf/formats/JohnsonM14","id":"DBLP:conf/formats/JohnsonM14","bibbaseid":"johnson-mitra-anonymizedreachabilityofhybridautomatanetworks-2014","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-319-10512-3_10"},"downloads":0},"search_terms":["anonymized","reachability","hybrid","automata","networks","johnson","mitra"],"keywords":["verification","dblp"],"authorIDs":[],"dataSources":["64vhzPQouTD2xtS3j"]}