scientific article; zbMATH DE number 1361123

zbMath0939.68080MaRDI QIDQ4270057

Béatrice Bérard, Laurent Fribourg

Publication date: 20 December 1999

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

zbMATH Keywords

reachabilityPetri netsmeta-transitions

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items

Unnamed Item, MCMT: A Model Checker Modulo Theories, Verification and Parameter Synthesis for Real-Time Programs using Refinement of Trace Abstraction*

Uses Software

• Uppaal