@inproceedings{Couvreur:2005:HDD:2162698.2162732,
    Address = {Berlin, Heidelberg},
    Author = {Couvreur, Jean-Michel and Thierry-Mieg, Yann},
    BookTitle = {Proceedings of the 25th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems},
    File = {Hierarchical Decision Diagrams to Exploit Model Structure - Couvreur, Thierry-Mieg (0) (0) - a - a - n.pdf},
    ISBN = {3-540-29189-X, 978-3-540-29189-3},
    Location = {Taipei, Taiwan},
    Pages = {443--457},
    Publisher = {Springer-Verlag},
    Series = {FORTE'05},
    Title = {Hierarchical Decision Diagrams to Exploit Model Structure},
    URL = {http://dx.doi.org/10.1007/11562436\_32},
    Year = {2005},
    acmid = {2162732},
    bdsk-url-1 = {http://dx.doi.org/10.1007/11562436\_32},
    date-added = {2014-01-14 16:20:41 +0000},
    date-modified = {2014-01-14 16:20:41 +0000},
    numpages = {15},
    doi = {10.1007/11562436_32}
}

@inproceedings{Couvreur:2005:HDD:2162698.2162732, Address = {Berlin, Heidelberg}, Author = {Couvreur, Jean-Michel and Thierry-Mieg, Yann}, BookTitle = {Proceedings of the 25th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems}, File = {Hierarchical Decision Diagrams to Exploit Model Structure - Couvreur, Thierry-Mieg (0) (0) - a - a - n.pdf}, ISBN = {3-540-29189-X, 978-3-540-29189-3}, Location = {Taipei, Taiwan}, Pages = {443--457}, Publisher = {Springer-Verlag}, Series = {FORTE'05}, Title = {Hierarchical Decision Diagrams to Exploit Model Structure}, URL = {http://dx.doi.org/10.1007/11562436_32}, Year = {2005}, acmid = {2162732}, bdsk-url-1 = {http://dx.doi.org/10.1007/11562436_32}, date-added = {2014-01-14 16:20:41 +0000}, date-modified = {2014-01-14 16:20:41 +0000}, numpages = {15}, doi = {10.1007/11562436_32} }