scientific article; zbMATH DE number 125884

MaRDI QIDQ4027622zbMATH OpenFDO

Authors I. A. Browne, Edmund Clarke, R. P. Kurshan

Publication date 21 February 1993

zbMATH Keywords

\(\forall\)-automata\(\omega\)-automataverification of finite state concurrent systems

Mathematics Subject Classification ID

Automata and formal grammars in connection with logical questions (03D05) Formal languages and automata (68Q45)

Recommendations

• Testing language containment for \(\omega\)-automata using BDDs
• scientific article; zbMATH DE number 1836386
• scientific article; zbMATH DE number 1555955
• scientific article; zbMATH DE number 1701748
• scientific article; zbMATH DE number 5872401

Cited in

(5)

• On deciding trace equivalences for processes
• Testing language containment for \(\omega\)-automata using BDDs
• scientific article; zbMATH DE number 1701748 (Why is no real title available?)
• scientific article; zbMATH DE number 1555955 (Why is no real title available?)
• Zielonka DAG acceptance and regular languages over infinite words

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 Q4027622)