Formal verification by symbolic evaluation of partially-ordered trajectories,” (1995)

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