C. A. J. van Eijk. Sequential Equivalence Checking without State Space Traversal. In 1998 Design, Automation and Test in Europe (DATE 98), February 23-26, 1998, Le Palais des Congrès de Paris, Paris, France. pages 618-623, IEEE Computer Society, 1998. [doi]
@inproceedings{Eijk98, title = {Sequential Equivalence Checking without State Space Traversal}, author = {C. A. J. van Eijk}, year = {1998}, url = {http://csdl.computer.org/comp/proceedings/date/1998/8359/00/83590618abs.htm}, tags = {traversal, C++}, researchr = {https://researchr.org/publication/Eijk98}, cites = {0}, citedby = {0}, pages = {618-623}, booktitle = {1998 Design, Automation and Test in Europe (DATE 98), February 23-26, 1998, Le Palais des Congrès de Paris, Paris, France}, publisher = {IEEE Computer Society}, }