DMCA

Efficient timed model checking for discrete-time systems (2006)

Cached

Download Links

by F. Laroussinie , N. Markey , Ph. Schnoebelen
Citations:5 - 1 self