OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Items where Laboratory is "Laboratoire de Recherche et de Développement de l'EPITA - (Kremlin Bicêtre, France)"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Jump to: Article
Number of items: 1.

Article

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 27 21:09:25 2020 CET.