scientific article; zbMATH DE number 1538037
From MaRDI portal
Publication:4518892
zbMath0960.68124MaRDI QIDQ4518892
Joseph Sifakis, Sébastien Bornot, Gregor Gössler
Publication date: 20 May 2001
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) Controllability, observability, and system structure (93B99)
This page was built for publication:
