@inproceedings{Neider:2012:CMS:2413552.2413589,
    Address = {Berlin, Heidelberg},
    Author = {Neider, Daniel},
    BookTitle = {Proceedings of the 10th International Conference on Automated Technology for Verification and Analysis},
    File = {chp\%3A10.1007\%2F978-3-642-33386-6\_28 (0) - a - a - z.pdf},
    ISBN = {978-3-642-33385-9},
    Keywords = {minimal regular separator},
    Location = {Thiruvananthapuram, India},
    Pages = {354--369},
    Publisher = {Springer-Verlag},
    Series = {ATVA'12},
    Title = {Computing Minimal Separating DFAs and Regular Invariants Using SAT and SMT Solvers},
    URL = {http://dx.doi.org/10.1007/978-3-642-33386-6\_28},
    Year = {2012},
    acmid = {2413589},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-33386-6\_28},
    date-added = {2017-03-08 15:02:31 +0000},
    date-modified = {2017-03-08 15:22:04 +0000},
    numpages = {16},
    doi = {10.1007/978-3-642-33386-6_28}
}

@inproceedings{Neider:2012:CMS:2413552.2413589, Address = {Berlin, Heidelberg}, Author = {Neider, Daniel}, BookTitle = {Proceedings of the 10th International Conference on Automated Technology for Verification and Analysis}, File = {chp\%3A10.1007\%2F978-3-642-33386-6_28 (0) - a - a - z.pdf}, ISBN = {978-3-642-33385-9}, Keywords = {minimal regular separator}, Location = {Thiruvananthapuram, India}, Pages = {354--369}, Publisher = {Springer-Verlag}, Series = {ATVA'12}, Title = {Computing Minimal Separating DFAs and Regular Invariants Using SAT and SMT Solvers}, URL = {http://dx.doi.org/10.1007/978-3-642-33386-6_28}, Year = {2012}, acmid = {2413589}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-33386-6_28}, date-added = {2017-03-08 15:02:31 +0000}, date-modified = {2017-03-08 15:22:04 +0000}, numpages = {16}, doi = {10.1007/978-3-642-33386-6_28} }