scientific article; zbMATH DE number 1500661

zbMATH Open0958.68118MaRDI QIDQ4501683FDOQ4501683

Authors: Michael Huth 

Publication date: 9 April 2001

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 2086523
• scientific article; zbMATH DE number 1863177
• scientific article; zbMATH DE number 2090706
• Modal transition systems: composition and LTL model checking
• Modal Abstractions of Concurrent Behaviour

zbMATH Keywords

modal transition systemsprobabilistic specifications

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)

Cited In (3)

• Title not available (Why is that?)
• Title not available (Why is that?)
• A new model for model checking: cycle-weighted Kripke structure

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4501683)