scientific article; zbMATH DE number 1515288
From MaRDI portal
Publication:4507819
zbMath0965.68046MaRDI QIDQ4507819
Adriano Peron, Ruggero Lanotte, Andrea Maggiolo-Schettini
Publication date: 10 October 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Concurrency in timed automata ⋮ 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
This page was built for publication: