scientific article; zbMATH DE number 2090119

zbMath1073.68693MaRDI QIDQ4808811

Maurizio Proietti, Alberto Pettorossi, Fabio Fioravanti

Publication date: 12 August 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2372/23720111.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

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 (1)

Extending Co-logic Programs for Branching-Time Model Checking

Uses Software

• MONA

This page was built for publication: