Sign in

Bandwidth of Timed Automata: 3 Classes.

Eugene AsarinAldric DegorreCatalin DimaBernardo Jacobo Inclán
Published in: FSTTCS (2023)
Keyphrases
  • timed automata
  • model checking
  • reachability analysis
  • theorem prover
  • theorem proving
  • multimedia
  • mobile devices
  • bit rate