Jean-Claude Fernandez, Laurent Mounier. "On the Fly" Verification of Behavioural Equivalences and Preorders. In Kim Guldstrand Larsen, Arne Skou, editors, Computer Aided Verification, 3rd International Workshop, CAV 91, Aalborg, Denmark, July, 1-4, 1991, Proceedings. Volume 575 of Lecture Notes in Computer Science, pages 181-191, Springer, 1991.
@inproceedings{FernandezM91,
title = {"On the Fly" Verification of Behavioural Equivalences and Preorders},
author = {Jean-Claude Fernandez and Laurent Mounier},
year = {1991},
researchr = {https://researchr.org/publication/FernandezM91},
cites = {0},
citedby = {0},
pages = {181-191},
booktitle = {Computer Aided Verification, 3rd International Workshop, CAV 91, Aalborg, Denmark, July, 1-4, 1991, Proceedings},
editor = {Kim Guldstrand Larsen and Arne Skou},
volume = {575},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-55179-4},
}