Hierarchical Decision Diagrams to Exploit Model Structure. (2005)

by J-M Couvreur, Y Thierry-Mieg
Venue:In 25th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems - FORTE