@inproceedings{Laroussinie:2006:MTA:2111575.2111595,
    Address = {Berlin, Heidelberg},
    Author = {Laroussinie, Fran\c{c}ois and Markey, Nicolas and Oreiby, Ghassan},
    BookTitle = {Proceedings of the 4th International Conference on Formal Modeling and Analysis of Timed Systems},
    File = {LMO-formats06 (0) (0) - a - a - s.pdf},
    ISBN = {3-540-45026-2, 978-3-540-45026-9},
    Location = {Paris, France},
    Pages = {245--259},
    Publisher = {Springer-Verlag},
    Series = {FORMATS'06},
    Title = {Model-checking Timed ATL for Durational Concurrent Game Structures},
    URL = {http://dx.doi.org/10.1007/11867340\_18},
    Year = {2006},
    acmid = {2111595},
    bdsk-url-1 = {http://dx.doi.org/10.1007/11867340\_18},
    date-added = {2019-04-20 09:03:33 +0200},
    date-modified = {2019-04-20 09:03:33 +0200},
    numpages = {15},
    doi = {10.1007/11867340_18}
}

@inproceedings{Laroussinie:2006:MTA:2111575.2111595, Address = {Berlin, Heidelberg}, Author = {Laroussinie, Fran\c{c}ois and Markey, Nicolas and Oreiby, Ghassan}, BookTitle = {Proceedings of the 4th International Conference on Formal Modeling and Analysis of Timed Systems}, File = {LMO-formats06 (0) (0) - a - a - s.pdf}, ISBN = {3-540-45026-2, 978-3-540-45026-9}, Location = {Paris, France}, Pages = {245--259}, Publisher = {Springer-Verlag}, Series = {FORMATS'06}, Title = {Model-checking Timed ATL for Durational Concurrent Game Structures}, URL = {http://dx.doi.org/10.1007/11867340_18}, Year = {2006}, acmid = {2111595}, bdsk-url-1 = {http://dx.doi.org/10.1007/11867340_18}, date-added = {2019-04-20 09:03:33 +0200}, date-modified = {2019-04-20 09:03:33 +0200}, numpages = {15}, doi = {10.1007/11867340_18} }