@article{VazquezdeParga:2016:SCP:3043320.3043468,
    Address = {New York, NY, USA},
    Author = {V\'{a}zquez de Parga, Manuel and Garc\'{\i}a, Pedro and L\'{o}pez, Dami\'{a}n},
    File = {VGL16a (0) - a - a - k.pdf},
    ISSN = {0020-0255},
    Journal = {Inf. Sci.},
    Keywords = {Minimal consistent DFA, Minimal separating DFA, Minimization of incompletely specified automata, Model checking, minimal regular separator},
    Month = {November},
    Number = {C},
    Pages = {204--220},
    Publisher = {Elsevier Science Inc.},
    Title = {A Sufficient Condition to Polynomially Compute a Minimum Separating DFA},
    URL = {https://doi.org/10.1016/j.ins.2016.07.053},
    Volume = {370},
    Year = {2016},
    acmid = {3043468},
    bdsk-url-1 = {https://doi.org/10.1016/j.ins.2016.07.053},
    bdsk-url-2 = {http://dx.doi.org/10.1016/j.ins.2016.07.053},
    date-added = {2017-03-08 15:02:15 +0000},
    date-modified = {2017-03-08 15:21:56 +0000},
    issue_date = {November 2016},
    numpages = {17},
    doi = {10.1016/j.ins.2016.07.053}
}

@article{VazquezdeParga:2016:SCP:3043320.3043468, Address = {New York, NY, USA}, Author = {V\'{a}zquez de Parga, Manuel and Garc\'{\i}a, Pedro and L\'{o}pez, Dami\'{a}n}, File = {VGL16a (0) - a - a - k.pdf}, ISSN = {0020-0255}, Journal = {Inf. Sci.}, Keywords = {Minimal consistent DFA, Minimal separating DFA, Minimization of incompletely specified automata, Model checking, minimal regular separator}, Month = {November}, Number = {C}, Pages = {204--220}, Publisher = {Elsevier Science Inc.}, Title = {A Sufficient Condition to Polynomially Compute a Minimum Separating DFA}, URL = {https://doi.org/10.1016/j.ins.2016.07.053}, Volume = {370}, Year = {2016}, acmid = {3043468}, bdsk-url-1 = {https://doi.org/10.1016/j.ins.2016.07.053}, bdsk-url-2 = {http://dx.doi.org/10.1016/j.ins.2016.07.053}, date-added = {2017-03-08 15:02:15 +0000}, date-modified = {2017-03-08 15:21:56 +0000}, issue_date = {November 2016}, numpages = {17}, doi = {10.1016/j.ins.2016.07.053} }