On the complementation of Büchi automata
✍
Jean-Pierre Pecuchet
📂
Article
📅
1986
🏛
Elsevier Science
🌐
English
⚖ 189 KB