scientific article; zbMATH DE number 1069482
From MaRDI portal
Publication:4356434
zbMath0889.68102MaRDI QIDQ4356434
Orna Kupferman, Gerard J. Holzmann
Publication date: 26 November 1997
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
On-the-Fly Stuttering in the Construction of Deterministic ω-Automata ⋮ From bidirectionality to alternation. ⋮ Specification Languages for Stutter-Invariant Regular Properties
This page was built for publication:
