Publication:4223068
From MaRDI portal
zbMath0907.68119MaRDI QIDQ4223068
Publication date: 3 January 1999
68Q45: Formal languages and automata
Related Items
Regular Model Checking using Widening Techniques, Structural Invariants for the Verification of Systems with Parameterized Architectures, Automatic verification of parameterized networks of processes, Permutation rewriting and algorithmic verification, Computing parameterized invariants of parameterized Petri nets