@incollection{Edelkamp:2009:SDM:1530522.1530527,
    Address = {Berlin, Heidelberg},
    Author = {Edelkamp, Stefan and Schuppan, Viktor and Bo\v{s}na\v{c}ki, Dragan and Wijs, Anton and Fehnker, Ansgar and Aljazzar, Husain},
    Chapter = {Survey on Directed Model Checking},
    Editor = {Peled, Doron A. and Wooldridge, Michael J.},
    File = {Model Checking and Artificial Intelligence - Edelkamp, Schuppan, Bosnacki, Wijs, Fehnker, Aljazzar (0) (0) - a - a - w.pdf},
    ISBN = {978-3-642-00430-8},
    Keywords = {directed model-checking and survey},
    Pages = {65--89},
    Publisher = {Springer-Verlag},
    Title = {Model Checking and Artificial Intelligence},
    URL = {http://dx.doi.org/10.1007/978-3-642-00431-5\_5},
    Year = {2009},
    acmid = {1530527},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-00431-5\_5},
    date-added = {2013-12-22 12:53:27 +0000},
    date-modified = {2013-12-22 12:53:41 +0000},
    numpages = {25},
    doi = {10.1007/978-3-642-00431-5_5}
}

@incollection{Edelkamp:2009:SDM:1530522.1530527, Address = {Berlin, Heidelberg}, Author = {Edelkamp, Stefan and Schuppan, Viktor and Bo\v{s}na\v{c}ki, Dragan and Wijs, Anton and Fehnker, Ansgar and Aljazzar, Husain}, Chapter = {Survey on Directed Model Checking}, Editor = {Peled, Doron A. and Wooldridge, Michael J.}, File = {Model Checking and Artificial Intelligence - Edelkamp, Schuppan, Bosnacki, Wijs, Fehnker, Aljazzar (0) (0) - a - a - w.pdf}, ISBN = {978-3-642-00430-8}, Keywords = {directed model-checking and survey}, Pages = {65--89}, Publisher = {Springer-Verlag}, Title = {Model Checking and Artificial Intelligence}, URL = {http://dx.doi.org/10.1007/978-3-642-00431-5_5}, Year = {2009}, acmid = {1530527}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-00431-5_5}, date-added = {2013-12-22 12:53:27 +0000}, date-modified = {2013-12-22 12:53:41 +0000}, numpages = {25}, doi = {10.1007/978-3-642-00431-5_5} }