scientific article; zbMATH DE number 2113976
From MaRDI portal
Publication:4825712
zbMath1097.03010MaRDI QIDQ4825712
Publication date: 5 November 2004
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Automata and formal grammars in connection with logical questions (03D05) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (3)
The mu-calculus and Model Checking ⋮ On bisimulations for description logics ⋮ Monadic Second Order Logic And Its Fragments
This page was built for publication:
