Items where Institution is :Other partners > Ecole pour l’informatique et les techniques avancées - EPITA (FRANCE)
Number of items at this level: 1. Hamez, Alexandre and Thierry-Mieg, Yann and Kordon, Fabrice Building Efficient Model Checkers using Hierarchical Set Decision Diagrams and Automatic Saturation. (2009) Fundamenta Informaticae, 94 (3-4). 413-437. ISSN 0169-2968 |