scientific article; zbMATH DE number 1755150
From MaRDI portal
Publication:4535185
zbMath0986.68096MaRDI QIDQ4535185
Wojciech Penczek, Agata Półrola
Publication date: 13 June 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2075/20750323
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 (3)
CTL* model checking for time Petri nets ⋮ Covering Steps Graphs of Time Petri Nets ⋮ On-the-fly \(TCTL\) model checking for time Petri nets
This page was built for publication:
