scientific article
From MaRDI portal
Publication:2754107
zbMath0974.68084MaRDI QIDQ2754107
Catherine Dufourd, Emmanuel Fleury, Patricia Bouyer, Antoine Petit
Publication date: 11 November 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Concurrency in timed automata, Updatable timed automata, The power of reachability testing for timed automata, Low dimensional hybrid systems -- decidable, undecidable, don't know, LTL over integer periodicity constraints, Formalized Timed Automata, \(\varepsilon\)-transitions in concurrent timed automata, Removing All Silent Transitions from Timed Automata, Timed Semantics of Message Sequence Charts Based on Timed Automata, Timed automata and additive clock constraints
Uses Software
