scientific article
zbMath1248.68332MaRDI QIDQ3225718
Teve Hostettler, Matteo Risoldi, Didier Buchs, Alban Linard, Alexis Marechal
Publication date: 22 March 2012
Full work available at URL: http://iospress.metapress.com/content/8w65090m336h0280/fulltext.html
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
verificationmodel checkingunfoldingsystem designalgebraic Petri netsdecision diagramsstate space generationhigher-level net modelstopological and algebraic clustering
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Distributed systems (68M14) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Uses Software
This page was built for publication:
