DMCA

Parameterized verification of Linear networks using Automata as Invariants (1997)

Cached

Download Links

by Prasad Sistla
Venue:In CAV '97, LNCS 1254
Citations:7 - 0 self