DMCA

On-the-fly Emptiness Checks for Generalized Büchi Automata (2005)

by Jean-michel Couvreur , Alexandre Duret-Lutz , Denis Poitrenaud
Venue:IN PROC. 12TH INTL. SPIN WORKS. ON MODEL CHECKING SOFTWARE, LNCS #1708
Citations:27 - 10 self