Susanne Graf, Hassen Saïdi
Construction of Abstract State Graphs with PVS
CAV, 1997.
@inproceedings{CAV-1997-GrafS, author = "Susanne Graf and Hassen Saïdi", booktitle = "{Proceedings of the Ninth International Conference on Computer Aided Verification}", doi = "10.1007/3-540-63166-6_10", isbn = "3-540-63166-6", pages = "72--83", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Construction of Abstract State Graphs with PVS}", volume = 1254, year = 1997, }