scientific article
From MaRDI portal
Publication:3396001
zbMath1169.68535MaRDI QIDQ3396001
Publication date: 15 September 2009
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items
A menagerie of timed automata ⋮ Checking Temporal Properties of Discrete, Timed and Continuous Behaviors ⋮ An Introduction to Timed Automata ⋮ Removing All Silent Transitions from Timed Automata
This page was built for publication: