scientific article
From MaRDI portal
Publication:2754109
zbMath0974.68528MaRDI QIDQ2754109
Aletta Nylén, S. Purushothaman Iyer, Parosh Aziz Abdulla
Publication date: 11 November 2001
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 (2)
Deadlock detection-oriented unfolding of unbounded Petri nets ⋮ Symbolic unfolding of parametric stopwatch Petri nets
This page was built for publication:
