scientific article; zbMATH DE number 5181779

zbMath1123.68069MaRDI QIDQ5754521

Jonathan S. Ostroff, Hak K. Ng

Publication date: 22 August 2007

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

zbMATH Keywords

model checkingtemporal logicfair transition system

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)

This page was built for publication: