@inproceedings{Glabbeek:2008:CSS:1427782.1427848,
    Address = {Berlin, Heidelberg},
    Author = {Glabbeek, Rob and Ploeger, Bas},
    BookTitle = {Proceedings of the 20th international conference on Computer Aided Verification},
    File = {Correcting a Space-Efficient Simulation Algorithm - Glabbeek, Ploeger (0) (0) - a - a - f.pdf},
    ISBN = {978-3-540-70543-7},
    Location = {Princeton, NJ, USA},
    Pages = {517--529},
    Publisher = {Springer-Verlag},
    Series = {CAV '08},
    Title = {Correcting a Space-Efficient Simulation Algorithm},
    URL = {http://dx.doi.org/10.1007/978-3-540-70545-1\_49},
    Year = {2008},
    acmid = {1427848},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-540-70545-1\_49},
    date-added = {2012-09-13 09:30:17 +0200},
    date-modified = {2012-09-13 07:30:17 +0000},
    numpages = {13},
    doi = {10.1007/978-3-540-70545-1_49}
}

@inproceedings{Glabbeek:2008:CSS:1427782.1427848, Address = {Berlin, Heidelberg}, Author = {Glabbeek, Rob and Ploeger, Bas}, BookTitle = {Proceedings of the 20th international conference on Computer Aided Verification}, File = {Correcting a Space-Efficient Simulation Algorithm - Glabbeek, Ploeger (0) (0) - a - a - f.pdf}, ISBN = {978-3-540-70543-7}, Location = {Princeton, NJ, USA}, Pages = {517--529}, Publisher = {Springer-Verlag}, Series = {CAV '08}, Title = {Correcting a Space-Efficient Simulation Algorithm}, URL = {http://dx.doi.org/10.1007/978-3-540-70545-1_49}, Year = {2008}, acmid = {1427848}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-540-70545-1_49}, date-added = {2012-09-13 09:30:17 +0200}, date-modified = {2012-09-13 07:30:17 +0000}, numpages = {13}, doi = {10.1007/978-3-540-70545-1_49} }