@inproceedings{113766,
    Author = {Alur, R. and Courcoubetis, C. and Dill, D.},
    BookTitle = {Logic in Computer Science, 1990. LICS '90, Proceedings., Fifth Annual IEEE Symposium on e},
    File = {Model-checking for real-time systems - Alur, Courcoubetis, Dill (0) (0) - a - a - i.pdf},
    Keywords = {timed automata},
    Month = {jun},
    Pages = {414 -425},
    Title = {Model-checking for real-time systems},
    Year = {1990},
    bdsk-url-1 = {http://dx.doi.org/10.1109/LICS.1990.113766},
    date-added = {2012-07-01 14:38:26 +0200},
    date-modified = {2012-07-01 12:38:33 +0000},
    doi = {10.1109/LICS.1990.113766}
}

@inproceedings{113766, Author = {Alur, R. and Courcoubetis, C. and Dill, D.}, BookTitle = {Logic in Computer Science, 1990. LICS '90, Proceedings., Fifth Annual IEEE Symposium on e}, File = {Model-checking for real-time systems - Alur, Courcoubetis, Dill (0) (0) - a - a - i.pdf}, Keywords = {timed automata}, Month = {jun}, Pages = {414 -425}, Title = {Model-checking for real-time systems}, Year = {1990}, bdsk-url-1 = {http://dx.doi.org/10.1109/LICS.1990.113766}, date-added = {2012-07-01 14:38:26 +0200}, date-modified = {2012-07-01 12:38:33 +0000}, doi = {10.1109/LICS.1990.113766} }