scientific article; zbMATH DE number 5499346
From MaRDI portal
Publication:5506359
zbMath1159.68016MaRDI QIDQ5506359
Georg Zetzsche, Manfred Kudlek, Berndt Farwer, Heiko Rölke, Matthias Jantzen
Publication date: 28 January 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)
This page was built for publication: