Carl-Johan H. Seger, Randal E. Bryant. Formal Verification by Symbolic Evaluation of Partially-Ordered Trajectories. Formal Methods in System Design, 6(2):147-189, 1995.
@article{SegerB95,
title = {Formal Verification by Symbolic Evaluation of Partially-Ordered Trajectories},
author = {Carl-Johan H. Seger and Randal E. Bryant},
year = {1995},
tags = {e-science},
researchr = {https://researchr.org/publication/SegerB95},
cites = {0},
citedby = {0},
journal = {Formal Methods in System Design},
volume = {6},
number = {2},
pages = {147-189},
}