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, vol. 94 (n° 3-4). pp. 413-437. ISSN 0169-2968

This list was generated on Sun Sep 24 01:23:41 2017 CEST.