scientific article; zbMATH DE number 2086410
From MaRDI portal
Publication:4736865
zbMath1054.68538MaRDI QIDQ4736865
Publication date: 11 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2285/22850489.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
Realizability of high-level message sequence charts: closing the gaps ⋮ Regular sets of infinite message sequence charts ⋮ A theory of regular MSC languages
This page was built for publication:
