Jean-Claude Fernandez, Laurent Mounier. ``On the Fly'' Verification of Behavioural Equivalences and Preorders. In Proceedings of the 3rd Workshop on Computer-Aided Verification (Aalborg, Denmark), K. G. Larsen (ed.), July 1991.
Download paper:
Adobe portable document (pdf)
Copyright notice:
[ Model-based verification techniques ]
@InProceedings{Fernandez-Mounier-91-a,
Author = {Fernandez, Jean-Claude and Mounier, Laurent},
Title = {``On the Fly'' Verification of Behavioural Equivalences and Preorders},
BookTitle = {Proceedings of the 3rd Workshop on Computer-Aided Verification (Aalborg, Denmark)},
editor = {G. Larsen, K.},
Month = {July},
Year = {1991}
}
Get EndNote Reference (.ref)