Login / Signup

Resets vs. Aborts in Linear Temporal Logic.

Roy ArmoniDoron BustanOrna KupfermanMoshe Y. Vardi
Published in: TACAS (2003)
Keyphrases