Almost linear Büchi automata

DOI10.1017/S0960129511000399zbMath1254.68141MaRDI QIDQ2883118

Vojtěch Řehák, Jan Strejček, Tomáš Babiak

Publication date: 11 May 2012

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

zbMATH Keywords

Büchi automataLTL

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Related Items (1)

Unnamed Item

Uses Software

• DiVinE

Cites Work

• Depth-First Search and Linear Graph Algorithms

This page was built for publication: Almost linear Büchi automata