scientific article; zbMATH DE number 1515289
From MaRDI portal
Publication:4507820
zbMath0965.68061MaRDI QIDQ4507820
Publication date: 10 October 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (4)
Model checking with fairness assumptions using PAT ⋮ On stubborn sets in the verification of linear time temporal properties ⋮ State space analysis of Petri nets with relation-algebraic methods ⋮ On-the-fly Emptiness Check of Transition-Based Streett Automata
This page was built for publication:
