@incollection{hierarchicalDD:08,
    Author = {Hamez, Alexandre and Thierry-Mieg, Yann and Kordon, Fabrice},
    BookTitle = {Applications and Theory of Petri Nets},
    Editor = {Hee, KeesM. and Valk, R{\"u}diger},
    File = {Hierarchical Set Decision Diagrams and Automatic Saturation - Hamez, Thierry-Mieg, Kordon (0) (0) - a - a - d.pdf},
    ISBN = {978-3-540-68745-0},
    Keywords = {Hierarchical Decision Diagrams; Model Checking; Saturation},
    Pages = {211-230},
    Publisher = {Springer Berlin Heidelberg},
    Series = {Lecture Notes in Computer Science},
    Title = {Hierarchical Set Decision Diagrams and Automatic Saturation},
    URL = {http://dx.doi.org/10.1007/978-3-540-68746-7\_16},
    Volume = {5062},
    Year = {2008},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-540-68746-7\_16},
    date-added = {2014-01-14 16:13:40 +0000},
    date-modified = {2014-01-14 16:13:40 +0000},
    doi = {10.1007/978-3-540-68746-7_16}
}

@incollection{hierarchicalDD:08, Author = {Hamez, Alexandre and Thierry-Mieg, Yann and Kordon, Fabrice}, BookTitle = {Applications and Theory of Petri Nets}, Editor = {Hee, KeesM. and Valk, R{\"u}diger}, File = {Hierarchical Set Decision Diagrams and Automatic Saturation - Hamez, Thierry-Mieg, Kordon (0) (0) - a - a - d.pdf}, ISBN = {978-3-540-68745-0}, Keywords = {Hierarchical Decision Diagrams; Model Checking; Saturation}, Pages = {211-230}, Publisher = {Springer Berlin Heidelberg}, Series = {Lecture Notes in Computer Science}, Title = {Hierarchical Set Decision Diagrams and Automatic Saturation}, URL = {http://dx.doi.org/10.1007/978-3-540-68746-7_16}, Volume = {5062}, Year = {2008}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-540-68746-7_16}, date-added = {2014-01-14 16:13:40 +0000}, date-modified = {2014-01-14 16:13:40 +0000}, doi = {10.1007/978-3-540-68746-7_16} }