Publisher
Springer International Publishing
Reference44 articles.
1. Lecture Notes in Computer Science;T Babiak,2015
2. Texts in Computer Science;R-J Back,1998
3. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);J Biendarra,2017
4. Lecture Notes in Computer Science;JC Blanchette,2014
5. Brunner, J.: Büchi complementation. In: Archive of Formal Proofs (2017). https://www.isa-afp.org/entries/Buchi_Complementation.html