Hierarchical Set Decision Diagrams and Regular Models. (2009)

by Y Thierry-Mieg, D Poitrenaud, A Hamez, F Kordon
Venue:In 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS’09),