@inproceedings{Sanchez:2012:ERL:2376367.2377095,
    Address = {Washington, DC, USA},
    Author = {S\'{a}nchez, Cesar and Samborski-Forlese, Jul\'{\i}n},
    BookTitle = {Proceedings of the 2012 19th International Symposium on Temporal Representation and Reasoning},
    File = {Efficient Regular Linear Temporal Logic Using Dualization and Stratification - Sanchez, Samborski-Forlese (0) (0) - a - a - d.pdf},
    ISBN = {978-0-7695-4802-9},
    Keywords = {temporal logic, formal verification, formal methods},
    Pages = {13--20},
    Publisher = {IEEE Computer Society},
    Series = {TIME '12},
    Title = {Efficient Regular Linear Temporal Logic Using Dualization and Stratification},
    URL = {http://dx.doi.org/10.1109/TIME.2012.25},
    Year = {2012},
    acmid = {2377095},
    bdsk-url-1 = {http://dx.doi.org/10.1109/TIME.2012.25},
    date-added = {2013-10-28 11:31:43 +0000},
    date-modified = {2013-10-28 11:31:43 +0000},
    numpages = {8},
    doi = {10.1109/TIME.2012.25}
}

@inproceedings{Sanchez:2012:ERL:2376367.2377095, Address = {Washington, DC, USA}, Author = {S\'{a}nchez, Cesar and Samborski-Forlese, Jul\'{\i}n}, BookTitle = {Proceedings of the 2012 19th International Symposium on Temporal Representation and Reasoning}, File = {Efficient Regular Linear Temporal Logic Using Dualization and Stratification - Sanchez, Samborski-Forlese (0) (0) - a - a - d.pdf}, ISBN = {978-0-7695-4802-9}, Keywords = {temporal logic, formal verification, formal methods}, Pages = {13--20}, Publisher = {IEEE Computer Society}, Series = {TIME '12}, Title = {Efficient Regular Linear Temporal Logic Using Dualization and Stratification}, URL = {http://dx.doi.org/10.1109/TIME.2012.25}, Year = {2012}, acmid = {2377095}, bdsk-url-1 = {http://dx.doi.org/10.1109/TIME.2012.25}, date-added = {2013-10-28 11:31:43 +0000}, date-modified = {2013-10-28 11:31:43 +0000}, numpages = {8}, doi = {10.1109/TIME.2012.25} }