scientific article; zbMATH DE number 1439078

zbMath0937.68085MaRDI QIDQ4951403

I. B. Virbitskaite, E. A. Pokozy

Publication date: 4 May 2000

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

zbMATH Keywords

model checkingtemporal logicPetri netverification of programs

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) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

This page was built for publication: