Henrik Reif Andersen, Bart Vergauwen
Efficient Checking of Behavioural Relations and Modal Assertions using Fixed-Point Inversion
CAV, 1995.
@inproceedings{CAV-1995-AndersenV, author = "Henrik Reif Andersen and Bart Vergauwen", booktitle = "{Proceedings of the Seventh International Conference on Computer Aided Verification}", doi = "10.1007/3-540-60045-0_47", isbn = "3-540-60045-0", pages = "142--154", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Efficient Checking of Behavioural Relations and Modal Assertions using Fixed-Point Inversion}", volume = 939, year = 1995, }