@inproceedings{FKM93,
title = {Symbolic Equivalence Checking },
author = {Fernandez, Jean-Claude and Kerbrat, Alain and Mounier, Laurent},
month = {June},
year = {1993},
booktitle = {Proceedings of the 5th Workshop on Computer-Aided Verification (Heraklion, Greece)},
publisher = {Springer-Verlag},
series = {LNCS},
volume = {697},
team = {DCS,PACSS},
}
