scientific article; zbMATH DE number 1232242

zbMath0907.68119MaRDI QIDQ4223068

Hans Olsén, Laurent Fribourg

Publication date: 3 January 1999

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items

Structural Invariants for the Verification of Systems with Parameterized Architectures ⋮ Permutation rewriting and algorithmic verification ⋮ Regular Model Checking using Widening Techniques ⋮ Automatic verification of parameterized networks of processes ⋮ Computing parameterized invariants of parameterized Petri nets