Login / Signup

Relating timed and register automata.

Diego FigueiraPiotr HofmanSlawomir 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