Author of the publication

A New Method for Testing Decision Procedures in Modal Logics.

, , and . CADE, volume 1249 of Lecture Notes in Computer Science, page 264-267. Springer, (1997)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Specifying and Analyzing Early Requirements: Some Experimental Results., , , , and . RE, page 105-. IEEE Computer Society, (2003)Strong Temporal Planning with Uncontrollable Durations: A State-Space Approach., , and . AAAI, page 3254-3260. AAAI Press, (2015)Solving Temporal Problems Using SMT: Weak Controllability., , and . AAAI, AAAI Press, (2012)Symbolic Implementation of Alternating Automata., , , and . Int. J. Found. Comput. Sci., 18 (4): 727-743 (2007)Kratos - A Software Model Checker for SystemC., , , , and . CAV, volume 6806 of Lecture Notes in Computer Science, page 310-316. Springer, (2011)Boolean Abstraction for Temporal Logic Satisfiability., , , and . CAV, volume 4590 of Lecture Notes in Computer Science, page 532-546. Springer, (2007)The nuXmv Symbolic Model Checker., , , , , , , , and . CAV, volume 8559 of Lecture Notes in Computer Science, page 334-342. Springer, (2014)Boosting Lazy Abstraction for SystemC with Partial Order Reduction., , and . TACAS, volume 6605 of Lecture Notes in Computer Science, page 341-356. Springer, (2011)Certifying Proofs for LTL Model Checking., , and . FMCAD, page 1-9. IEEE, (2018)Diagnostic Information for Realizability., , , and . VMCAI, volume 4905 of Lecture Notes in Computer Science, page 52-67. Springer, (2008)