Synthesis and Verification of Constraints in the PGM Protocol.

Marc Boyer, Mihaela Sighireanu

Browse the full FM paper archive.