scientific article; zbMATH DE number 2086524
From MaRDI portal
Publication:4737006
zbMath1057.68620MaRDI QIDQ4737006
Kai Baukus, Karsten Stahl, Yassine Lakhneche
Publication date: 11 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2294/22940317.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items
Computing Parameterized Invariants of Parameterized Petri Nets ⋮ Model Checking Parameterized Systems ⋮ Parametrized verification diagrams: temporal verification of symmetric parametrized concurrent systems ⋮ Invariants for parameterised Boolean equation systems ⋮ Proving Ptolemy Right: The Environment Abstraction Framework for Model Checking Concurrent Systems ⋮ Computing parameterized invariants of parameterized Petri nets
Uses Software
