scientific article

zbMath1169.68468MaRDI QIDQ3396582

Olivier Finkel

Publication date: 19 September 2009

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

A survey of timed automata for the development of real-time systems

This page was built for publication: