Login / Signup
Analysis of Timed Recursive State Machines.
Massimo Benerecetti
Stefano Minopoli
Adriano Peron
Published in:
TIME (2010)
Keyphrases
</>
state machines
petri net
state machine
expert systems
relational databases
finite state machines