Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Yann Thierry-Mieg
Presentation of the 9th Edition of the Model Checking Contest
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Hierarchical Decision Diagrams to Exploit Model Structure
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Building Efficient Model Checkers Using Hierarchical Set Decision Diagrams and Automatic Saturation
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
