scientific article; zbMATH DE number 2087422

zbMath1077.68666MaRDI QIDQ4738217

Benedikt Bollig, Martin Leucker, Thomas Noll

Publication date: 11 August 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2303/23030052.htm

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

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05)

Related Items

Timed Semantics of Message Sequence Charts Based on Timed Automata, A theory of regular MSC languages