External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Comparison of Algorithms for Checking Emptiness on Büchi Automata

Andreas Gaiser, Stefan Schwoon. Comparison of Algorithms for Checking Emptiness on Büchi Automata. In Petr Hlinený, Václav Matyás, Tomás Vojnar, editors, Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2009, November 13-15, 2009, Prestige Hotel, Znojmo, Czech Republic. Volume 13 of OASICS, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, 2009. [doi]

Authors

Andreas Gaiser

This author has not been identified. Look up 'Andreas Gaiser' in Google

Stefan Schwoon

This author has not been identified. Look up 'Stefan Schwoon' in Google
runs on