Synthesis of Trigger Properties.

Orna Kupferman, Moshe Y. Vardi

Browse the full LPAR paper archive.