Login / Signup

Symbolic Analysis of Transition Systems.

Natarajan Shankar
Published in: Abstract State Machines (2000)
Keyphrases
  • transition systems
  • case study
  • linear programming
  • model checking