Checking finite traces using alternating automata (0)

by B Finkbeiner, H Sipma
Venue:Formal Methods in System Design