Cardinality abstraction for declarative networking applications (2009)

by J A N Perez, A Rybalchenko, A Singh
Venue:In CAV