Rajeev Alur, Thomas A. Henzinger, Sriram K. Rajamani
Symbolic Exploration of transition Hierarchies
TACAS, 1998.
@inproceedings{TACAS-1998-AlurHR, author = "Rajeev Alur and Thomas A. Henzinger and Sriram K. Rajamani", booktitle = "{Proceedings of the Fourth International Conference on Tools and Algorithms for the Construction and Analysis of Systems}", doi = "10.1007/BFb0054181", isbn = "3-540-64356-7", pages = "330--344", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Symbolic Exploration of transition Hierarchies}", volume = 1384, year = 1998, }