scientific article; zbMATH DE number 1744968

zbMATH Open0985.68521MaRDI QIDQ4531763

Fabrice Derepas, Paul Gastin

Publication date: 23 May 2002

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2057/20570235

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Distributed systems (68M14)

Related Items (3)

Extending Symmetry Reduction Techniques to a Realistic Model of Computation ⋮ FORMAL VERIFICATION OF P SYSTEMS USING SPIN ⋮ Automatic symmetry detection for Promela

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 Q4531763)