scientific article; zbMATH DE number 1390065
From MaRDI portal
Publication:4934330
zbMath0948.68106MaRDI QIDQ4934330
Publication date: 26 April 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Event Clock Automata: From Theory to Practice ⋮ A survey of timed automata for the development of real-time systems ⋮ A study on shuffle, stopwatches and independently evolving clocks ⋮ On regions and zones for event-clock automata ⋮ Formal language properties of hybrid systems with strong resets ⋮ Weighted Timed MSO Logics
This page was built for publication: