Formal Verification by Symbolic Evaluation of Partially-Ordered Trajectories
Formal Methods in System Design - Netherlands
doi 10.1007/bf01383966
Full Text
Open PDFAbstract
Available in full text
Date
March 1, 1995
Authors
Publisher
Springer Science and Business Media LLC