DMCA

A.: Cardinality abstraction for declarative networking applications (2009)

by Juan A. Navarro Pérez , Andrey Rybalchenko , Atul Singh
Venue:CAV 2009. LNCS
Citations:13 - 0 self