DMCA

Verifying properties of large sets of processes with network invariants (Extended Abstract) (1990)

by Pierre Wolper , Vinciane Lovinfosse
Citations:103 - 0 self