@inproceedings{Hansen:2014:DGB:2735050.2735085,
    Address = {Berlin, Heidelberg},
    Author = {Hansen, Henri and Lin, Shang-Wei and Liu, Yang and Nguyen, Truong Khanh and Sun, Jun},
    BookTitle = {Proceedings of the 16th International Conference on Computer Aided Verification - Volume 8559},
    File = {cav14 (0) - a - a - t.pdf},
    ISBN = {978-3-319-08866-2},
    Pages = {391--406},
    Publisher = {Springer-Verlag},
    Title = {Diamonds Are a Girl's Best Friend: Partial Order Reduction for Timed Automata with Abstractions},
    URL = {https://doi.org/10.1007/978-3-319-08867-9\_26},
    Year = {2014},
    acmid = {2735085},
    bdsk-url-1 = {https://doi.org/10.1007/978-3-319-08867-9\_26},
    date-added = {2018-09-06 09:01:21 +0000},
    date-modified = {2018-09-06 09:01:21 +0000},
    numpages = {16},
    doi = {10.1007/978-3-319-08867-9_26}
}

@inproceedings{Hansen:2014:DGB:2735050.2735085, Address = {Berlin, Heidelberg}, Author = {Hansen, Henri and Lin, Shang-Wei and Liu, Yang and Nguyen, Truong Khanh and Sun, Jun}, BookTitle = {Proceedings of the 16th International Conference on Computer Aided Verification - Volume 8559}, File = {cav14 (0) - a - a - t.pdf}, ISBN = {978-3-319-08866-2}, Pages = {391--406}, Publisher = {Springer-Verlag}, Title = {Diamonds Are a Girl's Best Friend: Partial Order Reduction for Timed Automata with Abstractions}, URL = {https://doi.org/10.1007/978-3-319-08867-9_26}, Year = {2014}, acmid = {2735085}, bdsk-url-1 = {https://doi.org/10.1007/978-3-319-08867-9_26}, date-added = {2018-09-06 09:01:21 +0000}, date-modified = {2018-09-06 09:01:21 +0000}, numpages = {16}, doi = {10.1007/978-3-319-08867-9_26} }