An Algorithm for the Approximative Analysis of Rectangular Automata

Jörg Preußig, Stefan Kowalewski, Howard Wong-Toi, Thomas A. Henzinger. An Algorithm for the Approximative Analysis of Rectangular Automata. In Anders P. Ravn, Hans Rischel, editors, Formal Techniques in Real-Time and Fault-Tolerant Systems, 5th International Symposium, FTRTFT 98, Lyngby, Denmark, September 14-18, 1998, Proceedings. Volume 1486 of Lecture Notes in Computer Science, pages 228-240, Springer, 1998. [doi]

@inproceedings{PreussigKWH98,
  title = {An Algorithm for the Approximative Analysis of Rectangular Automata},
  author = {Jörg Preußig and Stefan Kowalewski and Howard Wong-Toi and Thomas A. Henzinger},
  year = {1998},
  url = {http://link.springer.de/link/service/series/0558/bibs/1486/14860228.htm},
  tags = {analysis},
  researchr = {https://researchr.org/publication/PreussigKWH98},
  cites = {0},
  citedby = {0},
  pages = {228-240},
  booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 5th International Symposium, FTRTFT 98, Lyngby, Denmark, September 14-18, 1998, Proceedings},
  editor = {Anders P. Ravn and Hans Rischel},
  volume = {1486},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-65003-2},
}