@inproceedings{Mokadem:2005:NMA:1099332.1099345,
    Author = {Mokadem, Houda Bel and B{\'e}rard, B{\'e}atrice and Bouyer, Patricia and Laroussinie, Fran\c{c}ois},
    BookTitle = {Proc. of CONCUR'05},
    Editor = {Abadi, Mart\'{\i}n and de Alfaro, Luca},
    File = {A New Modality for Almost Everywhere Properties in Timed Automata - Mokadem, Bérard, Bouyer, Laroussinie (1) (0) - a - a - s.pdf},
    ISBN = {3-540-28309-9},
    Pages = {110--124},
    Publisher = {Springer},
    Title = {A New Modality for Almost Everywhere Properties in Timed Automata},
    URL = {http://dx.doi.org/10.1007/11539452\_12},
    Year = {2005},
    acmid = {1099345},
    bdsk-url-1 = {http://dx.doi.org/10.1007/11539452\_12},
    date-added = {2015-11-04 16:05:44 +0000},
    date-modified = {2015-11-04 16:06:06 +0000},
    file-2 = {A New Modality for Almost Everywhere Properties in Timed Automata - Mokadem, Bérard, Bouyer, Laroussinie (0) (0) - a - a - s.pdf},
    numpages = {15},
    doi = {10.1007/11539452_12}
}

@inproceedings{Mokadem:2005:NMA:1099332.1099345, Author = {Mokadem, Houda Bel and B{\'e}rard, B{\'e}atrice and Bouyer, Patricia and Laroussinie, Fran\c{c}ois}, BookTitle = {Proc. of CONCUR'05}, Editor = {Abadi, Mart\'{\i}n and de Alfaro, Luca}, File = {A New Modality for Almost Everywhere Properties in Timed Automata - Mokadem, Bérard, Bouyer, Laroussinie (1) (0) - a - a - s.pdf}, ISBN = {3-540-28309-9}, Pages = {110--124}, Publisher = {Springer}, Title = {A New Modality for Almost Everywhere Properties in Timed Automata}, URL = {http://dx.doi.org/10.1007/11539452_12}, Year = {2005}, acmid = {1099345}, bdsk-url-1 = {http://dx.doi.org/10.1007/11539452_12}, date-added = {2015-11-04 16:05:44 +0000}, date-modified = {2015-11-04 16:06:06 +0000}, file-2 = {A New Modality for Almost Everywhere Properties in Timed Automata - Mokadem, Bérard, Bouyer, Laroussinie (0) (0) - a - a - s.pdf}, numpages = {15}, doi = {10.1007/11539452_12} }