A small model theorem for rectangular hybrid automata networks (bibtex)

Reference:

Taylor T. Johnson and S Mitra, "A small model theorem for rectangular hybrid automata networks", In IFIP International Conference on Formal Techniques for Distributed Systems: Joint International Conference of 14th Formal Methods for Open Object-Based Distributed Systems and 32nd Formal Techniques for Networked and Distributed Systems (FORTE/FMOODS'12), Springer, pp. 18–34, 2012.

Bibtex Entry:

@inproceedings{johnson2012forte,
  title = {A small model theorem for rectangular hybrid automata networks},
  author = {Taylor T. Johnson and S Mitra},
  year = {2012},
  month = jun,
  booktitle = {IFIP International Conference on Formal Techniques for Distributed Systems: Joint International Conference of 14th Formal Methods for Open Object-Based Distributed Systems and 32nd Formal Techniques for Networked and Distributed Systems (FORTE/FMOODS'12)},
  volume = {7273},
  pages = {18--34},
  publisher = {Springer},
  doi = {10.1007/978-3-642-30793-5_2},
  publabel = {C4},
  pubtype = {C},
  gsid = {4606381030313410526},
  dblp = {conf/forte/JohnsonM12},
  s2id = {278853},
  pdf = "research/johnson2012forte.pdf",
}