Login / Signup
Using Partial-Order Methods in the Formal Validation of Industrial Concurrent Programs.
Patrice Godefroid
Doron A. Peled
Mark G. Staskauskas
Published in:
ISSTA (1996)
Keyphrases
</>
partial order
partially ordered
total order
knowledge based systems