Realizability of Graph Specifications: Characterizations and Algorithms.

Amotz Bar-Noy, Keerti Choudhary, David Peleg, Dror Rawitz

Browse the full SIROCCO paper archive.