scientific article
From MaRDI portal
Publication:2766558
zbMath0986.68078MaRDI QIDQ2766558
Denis Poitrenaud, Jean-Michel Couvreur, Sébastien Grivet
Publication date: 13 June 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Temporal logic (03B44)
This page was built for publication:
