Login / Signup

Two Variable vs. Linear Temporal Logic in Model Checking and Games

Michael BenediktRastislav LenhardtJames Worrell
Published in: Log. Methods Comput. Sci. (2013)
Keyphrases