@inproceedings{Wies:2010:FAD:2175519.2175531,
    Address = {Berlin, Heidelberg},
    Author = {Wies, Thomas and Zufferey, Damien and Henzinger, Thomas A.},
    BookTitle = {Proceedings of the 13th international conference on Foundations of Software Science and Computational Structures},
    File = {Forward analysis of depth-bounded processes - Wies, Zufferey, Henzinger (0) (0) - a - a - s.pdf},
    ISBN = {3-642-12031-8, 978-3-642-12031-2},
    Keywords = {pi-calculus and communicating automata},
    Location = {Paphos, Cyprus},
    Pages = {94--108},
    Publisher = {Springer-Verlag},
    Series = {FOSSACS'10},
    Title = {Forward analysis of depth-bounded processes},
    URL = {http://dx.doi.org/10.1007/978-3-642-12032-9\_8},
    Year = {2010},
    acmid = {2175531},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-12032-9\_8},
    date-added = {2012-12-18 11:54:37 +0000},
    date-modified = {2012-12-18 11:55:32 +0000},
    numpages = {15},
    doi = {10.1007/978-3-642-12032-9_8}
}

@inproceedings{Wies:2010:FAD:2175519.2175531, Address = {Berlin, Heidelberg}, Author = {Wies, Thomas and Zufferey, Damien and Henzinger, Thomas A.}, BookTitle = {Proceedings of the 13th international conference on Foundations of Software Science and Computational Structures}, File = {Forward analysis of depth-bounded processes - Wies, Zufferey, Henzinger (0) (0) - a - a - s.pdf}, ISBN = {3-642-12031-8, 978-3-642-12031-2}, Keywords = {pi-calculus and communicating automata}, Location = {Paphos, Cyprus}, Pages = {94--108}, Publisher = {Springer-Verlag}, Series = {FOSSACS'10}, Title = {Forward analysis of depth-bounded processes}, URL = {http://dx.doi.org/10.1007/978-3-642-12032-9_8}, Year = {2010}, acmid = {2175531}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-12032-9_8}, date-added = {2012-12-18 11:54:37 +0000}, date-modified = {2012-12-18 11:55:32 +0000}, numpages = {15}, doi = {10.1007/978-3-642-12032-9_8} }