Exact acceleration of realtime model checking. (2002)

by M HENDRIKS, K G LARSEN
Venue:In Electronic Notes in Theoretical Computer Science