scientific article; zbMATH DE number 1759626
From MaRDI portal
Publication:4536617
zbMath0999.68529MaRDI QIDQ4536617
Victor Khomenko, Maciej Koutny
Publication date: 28 November 2002
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)
Structure-based deadlock checking of asynchronous circuits ⋮ Verification of bounded Petri nets using integer programming ⋮ Directed Unfolding of Petri Nets
This page was built for publication:
