scientific article; zbMATH DE number 1390333
From MaRDI portal
Publication:4934622
zbMATH Open0945.68119MaRDI QIDQ4934622
Sébastien Bornot, Joseph Sifakis
Publication date: 9 April 2000
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)
Related Items (1)
This page was built for publication:
