@inproceedings{Wimmer:2006:SSB:2166332.2166369,
    Address = {Berlin, Heidelberg},
    Author = {Wimmer, Ralf and Herbstritt, Marc and Hermanns, Holger and Strampp, Kelley and Becker, Bernd},
    BookTitle = {Proceedings of the 4th International Conference on Automated Technology for Verification and Analysis},
    File = {5304058 (0) - a - a - p.pdf},
    ISBN = {3-540-47237-1, 978-3-540-47237-7},
    Location = {Beijing, China},
    Pages = {477--492},
    Publisher = {Springer-Verlag},
    Series = {ATVA'06},
    Title = {Sigref: A Symbolic Bisimulation Tool Box},
    URL = {http://dx.doi.org/10.1007/11901914\_35},
    Year = {2006},
    acmid = {2166369},
    bdsk-url-1 = {http://dx.doi.org/10.1007/11901914\_35},
    date-added = {2017-10-19 21:35:56 +0000},
    date-modified = {2017-10-19 21:35:56 +0000},
    numpages = {16},
    doi = {10.1007/11901914_35}
}

@inproceedings{Wimmer:2006:SSB:2166332.2166369, Address = {Berlin, Heidelberg}, Author = {Wimmer, Ralf and Herbstritt, Marc and Hermanns, Holger and Strampp, Kelley and Becker, Bernd}, BookTitle = {Proceedings of the 4th International Conference on Automated Technology for Verification and Analysis}, File = {5304058 (0) - a - a - p.pdf}, ISBN = {3-540-47237-1, 978-3-540-47237-7}, Location = {Beijing, China}, Pages = {477--492}, Publisher = {Springer-Verlag}, Series = {ATVA'06}, Title = {Sigref: A Symbolic Bisimulation Tool Box}, URL = {http://dx.doi.org/10.1007/11901914_35}, Year = {2006}, acmid = {2166369}, bdsk-url-1 = {http://dx.doi.org/10.1007/11901914_35}, date-added = {2017-10-19 21:35:56 +0000}, date-modified = {2017-10-19 21:35:56 +0000}, numpages = {16}, doi = {10.1007/11901914_35} }