@inproceedings{Chen:2009:LMS:1532891.1532895,
    Address = {Berlin, Heidelberg},
    Author = {Chen, Yu-Fang and Farzan, Azadeh and Clarke, Edmund M. and Tsay, Yih-Kuen and Wang, Bow-Yaw},
    BookTitle = {Proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems: Held As Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009,},
    File = {Learning Minimal Separating DFAs for Compositional Verification (0) - a - a - s.pdf},
    ISBN = {978-3-642-00767-5},
    Keywords = {minimal regular separator},
    Location = {York, UK},
    Pages = {31--45},
    Publisher = {Springer-Verlag},
    Series = {TACAS '09},
    Title = {Learning Minimal Separating DFA's for Compositional Verification},
    URL = {http://dx.doi.org/10.1007/978-3-642-00768-2\_3},
    Year = {2009},
    acmid = {1532895},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-00768-2\_3},
    date-added = {2017-03-08 15:01:48 +0000},
    date-modified = {2017-03-08 15:21:48 +0000},
    numpages = {15},
    doi = {10.1007/978-3-642-00768-2_3}
}

@inproceedings{Chen:2009:LMS:1532891.1532895, Address = {Berlin, Heidelberg}, Author = {Chen, Yu-Fang and Farzan, Azadeh and Clarke, Edmund M. and Tsay, Yih-Kuen and Wang, Bow-Yaw}, BookTitle = {Proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems: Held As Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009,}, File = {Learning Minimal Separating DFAs for Compositional Verification (0) - a - a - s.pdf}, ISBN = {978-3-642-00767-5}, Keywords = {minimal regular separator}, Location = {York, UK}, Pages = {31--45}, Publisher = {Springer-Verlag}, Series = {TACAS '09}, Title = {Learning Minimal Separating DFA's for Compositional Verification}, URL = {http://dx.doi.org/10.1007/978-3-642-00768-2_3}, Year = {2009}, acmid = {1532895}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-00768-2_3}, date-added = {2017-03-08 15:01:48 +0000}, date-modified = {2017-03-08 15:21:48 +0000}, numpages = {15}, doi = {10.1007/978-3-642-00768-2_3} }