Büchi store: An open repository of Büchi automata
Journal
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Journal Volume
6605 LNCS
Pages
262-266
Date Issued
2011
Author(s)
Type
book