Resets vs. Aborts in Linear Temporal Logic.

Roy Armoni, Doron Bustan, Orna Kupferman, Moshe Y. Vardi

Browse the full TACAS paper archive.