Affiliation:
1. LSV, ENS Cachan, CNRS, INRIA, Cachan, France
Subject
Computer Networks and Communications,Hardware and Architecture,Safety, Risk, Reliability and Quality,Software
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Proving semantic properties as first-order satisfiability;Artificial Intelligence;2019-12
2. Revisiting MU-Puzzle. A Case Study in Finite Countermodels Verification;Lecture Notes in Computer Science;2018
3. Finite Reasons for Safety;Journal of Automated Reasoning;2013-02-23
4. Defining Privacy Is Supposed to Be Easy;Logic for Programming, Artificial Intelligence, and Reasoning;2013