Checking Finite Traces using Alternating Automata (2001)

Cached

Download Links

by Bernd Finkbeiner , Henny Sipma
Citations:38 - 4 self