Login / Signup
Relating timed and register automata.
Diego Figueira
Piotr Hofman
Slawomir Lasota
Published in:
Math. Struct. Comput. Sci. (2016)
Keyphrases
</>
timed automata
finite state machines
model checking
petri net
theorem prover
data structure
finite state
finite automata
cellular automata
theorem proving
discrete event
multi agent
first order logic
tree automata