scientific article
From MaRDI portal
Publication:3504335
zbMath1137.03315MaRDI QIDQ3504335
Volker Diekert, Manfred Kufleitner, Martin Horsch
Publication date: 11 June 2008
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Temporal logic (03B44)
This page was built for publication:
