Liveness of Parameterized Timed Networks (bibtex)
by Benjamin Aminof, Sasha Rubin, Florian Zuleger, Francesco Spegni
Reference:
Liveness of Parameterized Timed NetworksBenjamin Aminof, Sasha Rubin, Florian Zuleger, Francesco SpegniAutomata, Languages, and Programming - 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II, volume 9135 of Lecture Notes in Computer Science, pages 375-387, 2015, Springer.
Bibtex Entry:
@inproceedings{conf/icalp/AminofRZS15,
  author    = {Benjamin Aminof and
               Sasha Rubin and
               Florian Zuleger and
               Francesco Spegni},
  title     = {Liveness of Parameterized Timed Networks},
  booktitle = {Automata, Languages, and Programming - 42nd International Colloquium,
               {ICALP} 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part {II}},
  series    = {Lecture Notes in Computer Science},
  volume    = {9135},
  publisher = {Springer},
  pages     = {375--387},
  year      = {2015},
  doi       = {10.1007/978-3-662-47666-6_30}
}
Powered by bibtexbrowser