DMCA

Model-checking for real-time systems (1995)

Cached

Download Links

by Kim G. Larsen , Paul Pettersson , Wang Yi
Venue:IN PROC. OF FUNDAMENTALS OF COMPUTATION THEORY
Citations:107 - 12 self