Gianpiero Cabodi, Paolo Camurati. Advancements in Symbolic Traversal Technique. In George J. Milne, Laurence Pierre, editors, Correct Hardware Design and Verification Methods, IFIP WG 10.5 Advanced Research Working Conference, CHARME 93, Arles, France, May 24-26, 1993, Proceedings. Volume 683 of Lecture Notes in Computer Science, pages 155-166, Springer, 1993.
@inproceedings{CabodiC93,
title = {Advancements in Symbolic Traversal Technique},
author = {Gianpiero Cabodi and Paolo Camurati},
year = {1993},
tags = {traversal, systematic-approach, symbolic traversal},
researchr = {https://researchr.org/publication/CabodiC93},
cites = {0},
citedby = {0},
pages = {155-166},
booktitle = {Correct Hardware Design and Verification Methods, IFIP WG 10.5 Advanced Research Working Conference, CHARME 93, Arles, France, May 24-26, 1993, Proceedings},
editor = {George J. Milne and Laurence Pierre},
volume = {683},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-56778-X},
}