DMCA

Compositional and Symbolic Model-Checking of Real-Time Systems

Cached

Download Links

by Kim G. Larsen, et al.
Citations:71 - 21 self