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

Institution (1)
- Other partners (1)
  - Ecole pour l’informatique et les techniques avancées - EPITA (FRANCE) (1)

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 Tue Oct 15 00:38:06 2019 CEST.