Cardinality Abstraction for Declarative Networking Applications.

Juan Antonio Navarro Prez, Andrey Rybalchenko, Atul Singh

Browse the full CAV paper archive.