Login / Signup

Proof Tactics for a Theory of State Machines in a Graphical Environment.

Katherine A. EastaughffeMaris A. OzolsAnthony Cant
Published in: CADE (1997)
Keyphrases
  • state machines
  • state machine
  • mobile robot
  • real time
  • petri net
  • peer to peer
  • reactive systems