scientific article

zbMath0759.68063MaRDI QIDQ4027622

I. A. Browne, Robert Kurshan, Edmund M. Clarke

Publication date: 21 February 1993

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

zbMATH Keywords

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

Mathematics Subject Classification ID

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

Related Items

Zielonka DAG acceptance and regular languages over infinite words, On deciding trace equivalences for processes