OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Items where Institution is :Other partners > Ecole pour l’informatique et les techniques avancées - EPITA (FRANCE)

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
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

This list was generated on Mon Oct 22 09:10:56 2018 CEST.