Luca de Alfaro, Zohar Manna
Temporal Verification by Diagram Transformations
CAV, 1996.
@inproceedings{CAV-1996-AlfaroM, author = "Luca de Alfaro and Zohar Manna", booktitle = "{Proceedings of the Eighth International Conference on Computer Aided Verification}", doi = "10.1007/3-540-61474-5_77", isbn = "3-540-61474-5", pages = "288--299", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Temporal Verification by Diagram Transformations}", volume = 1102, year = 1996, }