Login / Signup

Intuitionistic implication makes model checking hard

Martin MundhenkFelix Weiss
Published in: Log. Methods Comput. Sci. (2011)
Keyphrases