Publication:4507819
From MaRDI portal
zbMath0965.68046MaRDI QIDQ4507819
Adriano Peron, Ruggero Lanotte, Andrea Maggiolo-Schettini
Publication date: 10 October 2000
68Q45: Formal languages and automata
Related Items
A survey of timed automata for the development of real-time systems, A concurrency-preserving translation from time Petri nets to networks of timed automata, \(\varepsilon\)-transitions in concurrent timed automata, Concurrency in timed automata