Bibliografía (8 obras)
Tools and Algorithms for the Construction and Analysis of Systems
2020
Computer Aided Verification
2014
Hardware and Software: Verification and Testing
2013
Handbook of Satisfiability Frontiers in Artificial Intelligence and Applications
2009
Handbook of Satisfiability
Digitaltechnik - eine praxisnahe Einfu hrung
2008
Theory and applications of satisfiability testing -- SAT 2006
2006
Effiziente Modellprüfung des [mu]-Kalküls mit binären Entscheidungsdiagrammen
1997
