Fernandez-Kerbrat-Mounier-93

J.C. Fernandez, A. Kerbrat, L. Mounier. Symbolic Equivalence Checking. In Proceedings of the 5th Workshop on Computer-Aided Verification (Heraklion, Greece), C. Courcoubetis (ed.), LNCS, Volume 697, June 1993.

Download

Download paper: Adobe portable document (pdf)

Copyright notice:

Keyword

[ Model-based verification techniques ]

BibTex Reference

@InProceedings{Fernandez-Kerbrat-Mounier-93,
   Author = {Fernandez, J.C. and Kerbrat, A. and Mounier, L.},
   Title = {Symbolic Equivalence Checking},
   BookTitle = {Proceedings of the 5th Workshop on Computer-Aided Verification (Heraklion, Greece)},
   editor = {Courcoubetis, C.},
   Volume = {697},
   Series = {LNCS},
   Publisher = {Springer-Verlag},
   Month = {June},
   Year = {1993}
}

EndNote Reference [help]

Get EndNote Reference (.ref)