scientific article
From MaRDI portal
Publication:2775869
zbMath1004.68117MaRDI QIDQ2775869
Publication date: 28 February 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
Automata-driven partial order reduction and guided search for LTL model checking ⋮ Applying CEGAR to the Petri Net State Equation
Uses Software
This page was built for publication:
