scientific article; zbMATH DE number 1744959
From MaRDI portal
Publication:4531752
zbMath0985.68520MaRDI QIDQ4531752
Keijo Heljanko, Javier Esparza
Publication date: 23 May 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2057/20570037
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 (9)
Model checking \(\omega \)-regular properties with decoupled search ⋮ Path planning for robotic teams based on LTL specifications and Petri net models ⋮ Formal verification for event stream processing: model checking of BeepBeep stream processing pipelines ⋮ Efficient unfolding of contextual Petri nets ⋮ Model checking Petri nets with MSVL ⋮ Decompositional Petri Net Reductions ⋮ Executability of scenarios in Petri nets ⋮ Efficient Contextual Unfolding ⋮ A Practical Approach to Verification of Mobile Systems Using Net Unfoldings
Uses Software
This page was built for publication:
