vix.ing · top · new · best · stats · spec

Andreas Gaiser

  1. Comparison of Algorithms for Checking Emptiness on Buechi Automata
    2009/10/20 by Andreas Gaiser, Gaiser, Andreas, Stefan Schwoon +1 · 1 citation
    Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Software Testing and Debugging Techniques #cs.LO #semigroups and automata theory