Automated Technology for Verification and Analysis

DOI10.1007/11562948zbMath1170.68538OpenAlexW4300912265MaRDI QIDQ5491864

No author found.

Publication date: 10 October 2006

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11562948

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (4)

LTL under reductions with weaker conditions than stutter invariance ⋮ Structural Reductions Revisited ⋮ A Simple Positive Flows Computation Algorithm for a Large Subclass of Colored Nets ⋮ Symbolic and Structural Model-Checking

Uses Software

• Quasar

This page was built for publication: Automated Technology for Verification and Analysis