DMCA

Exact acceleration of real-time model checking (2002)

Cached

Download Links

by Martijn Hendriks , Kim G. Larsen
Venue:Electronic Notes in Theoretical Computer Science
Citations:18 - 3 self