scientific article; zbMATH DE number 1232242

MaRDI QIDQ4223068zbMATH OpenFDO

Authors Hans Olsén, Laurent Fribourg

Publication date 3 January 1999

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Recommendations

• CONCUR 2004 - Concurrency Theory
• scientific article; zbMATH DE number 1670791
• Regular model checking using inference of regular languages
• Regular model checking using widening techniques
• scientific article; zbMATH DE number 2081102

Cited in

(6)

• Computing parameterized invariants of parameterized Petri nets
• scientific article; zbMATH DE number 1863180 (Why is no real title available?)
• 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

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4223068)