Formal Verification by Symbolic Evaluation of Partially-Ordered Trajectories (1995)

by C-J H Seger, R E Bryant
Venue:in Formal Methods in Systems Design