Anonymized Reachability of Hybrid Automata Networks (bibtex)

Reference:

Taylor T. Johnson and S Mitra, "Anonymized Reachability of Hybrid Automata Networks", In 12th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS'14), Springer, pp. 130–145, 2014.

Bibtex Entry:

@inproceedings{johnson2014formats,
  title = {Anonymized Reachability of Hybrid Automata Networks},
  author = {Taylor T. Johnson and S Mitra},
  year = {2014},
  month = sep,
  booktitle = {12th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS'14)},
  volume = {8711},
  pages = {130--145},
  publisher = {Springer},
  doi = {10.1007/978-3-319-10512-3_10},
  publabel = {C8},
  pubtype = {C},
  dblp = {conf/formats/JohnsonM14},
  pdf = "research/johnson2014formats.pdf",
}