@inproceedings{AlurDill:ICALP:1990,
    Author = {Alur, Rajeev and Dill, David},
    BookTitle = {Proc. of ICALP'90},
    File = {Automata for modeling real-time systems - Alur, Dill (0) (0) - a - a - s.pdf},
    Keywords = {timed automata},
    Pages = {322--335},
    Series = {LNCS},
    Title = {Automata for modeling real-time systems},
    Volume = {443},
    Year = {1990},
    bdsk-url-1 = {http://www.springerlink.com/content/545g540746757658/fulltext.pdf},
    bdsk-url-2 = {http://dx.doi.org/10.1007/BFb0032042},
    date-added = {2012-03-06 11:35:06 +0100},
    date-modified = {2018-03-13 10:16:12 +0000},
    doi = {10.1007/BFb0032042}
}

@inproceedings{AlurDill:ICALP:1990, Author = {Alur, Rajeev and Dill, David}, BookTitle = {Proc. of ICALP'90}, File = {Automata for modeling real-time systems - Alur, Dill (0) (0) - a - a - s.pdf}, Keywords = {timed automata}, Pages = {322--335}, Series = {LNCS}, Title = {Automata for modeling real-time systems}, Volume = {443}, Year = {1990}, bdsk-url-1 = {http://www.springerlink.com/content/545g540746757658/fulltext.pdf}, bdsk-url-2 = {http://dx.doi.org/10.1007/BFb0032042}, date-added = {2012-03-06 11:35:06 +0100}, date-modified = {2018-03-13 10:16:12 +0000}, doi = {10.1007/BFb0032042} }