scientific article; zbMATH DE number 1278351
From MaRDI portal
Publication:4239305
zbMath0928.68068MaRDI QIDQ4239305
Publication date: 25 April 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Research exposition (monographs, survey articles) pertaining to computer science (68-02)
Related Items (2)
On stubborn sets in the verification of linear time temporal properties ⋮ Exploring the Scope for Partial Order Reduction
This page was built for publication:
