@inproceedings{DBLP:conf/lfcs/DemriDG07,
    Author = {Demri, St{\'{e}}phane and D'Souza, Deepak and Gascon, R{\'{e}}gis},
    BookTitle = {Logical Foundations of Computer Science, International Symposium, {LFCS} 2007, New York, NY, USA, June 4-7, 2007, Proceedings},
    File = {A Decidable Temporal Logic of Repeating Values - Demri, D'Souza, Gascon (0) (0) - a - a - s.pdf},
    Pages = {180--194},
    Title = {A Decidable Temporal Logic of Repeating Values},
    URL = {http://dx.doi.org/10.1007/978-3-540-72734-7\_13},
    Year = {2007},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-540-72734-7\_13},
    bibsource = {dblp computer science bibliography, http://dblp.org},
    biburl = {http://dblp2.uni-trier.de/rec/bib/conf/lfcs/DemriDG07},
    date-added = {2016-03-21 16:31:48 +0000},
    date-modified = {2016-03-21 16:31:48 +0000},
    timestamp = {Tue, 03 Jul 2007 10:57:52 +0200},
    doi = {10.1007/978-3-540-72734-7_13}
}

@inproceedings{DBLP:conf/lfcs/DemriDG07, Author = {Demri, St{\'{e}}phane and D'Souza, Deepak and Gascon, R{\'{e}}gis}, BookTitle = {Logical Foundations of Computer Science, International Symposium, {LFCS} 2007, New York, NY, USA, June 4-7, 2007, Proceedings}, File = {A Decidable Temporal Logic of Repeating Values - Demri, D'Souza, Gascon (0) (0) - a - a - s.pdf}, Pages = {180--194}, Title = {A Decidable Temporal Logic of Repeating Values}, URL = {http://dx.doi.org/10.1007/978-3-540-72734-7_13}, Year = {2007}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-540-72734-7_13}, bibsource = {dblp computer science bibliography, http://dblp.org}, biburl = {http://dblp2.uni-trier.de/rec/bib/conf/lfcs/DemriDG07}, date-added = {2016-03-21 16:31:48 +0000}, date-modified = {2016-03-21 16:31:48 +0000}, timestamp = {Tue, 03 Jul 2007 10:57:52 +0200}, doi = {10.1007/978-3-540-72734-7_13} }