Login / Signup
Symbolic Analysis of Transition Systems.
Natarajan Shankar
Published in:
Abstract State Machines (2000)
Keyphrases
</>
transition systems
case study
linear programming
model checking