%0 Conference Paper %1 conf/lics/AlurCD90 %A Alur, Rajeev %A Courcoubetis, Costas %A Dill, David L. %B LICS %D 1990 %I IEEE Computer Society %K dblp %P 414-425 %T Model-Checking for Real-Time Systems %U http://dblp.uni-trier.de/db/conf/lics/lics90.html#AlurCD90 %@ 0-8186-2073-0

@inproceedings{conf/lics/AlurCD90, added-at = {2023-03-24T00:00:00.000+0100}, author = {Alur, Rajeev and Courcoubetis, Costas and Dill, David L.}, biburl = {https://www.bibsonomy.org/bibtex/23e679d7c0ba072b8ae09d308c2769299/dblp}, booktitle = {LICS}, crossref = {conf/lics/1990}, ee = {https://doi.ieeecomputersociety.org/10.1109/LICS.1990.113766}, interhash = {8544d9de6420fc8254f24bd1e6a12141}, intrahash = {3e679d7c0ba072b8ae09d308c2769299}, isbn = {0-8186-2073-0}, keywords = {dblp}, pages = {414-425}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T06:42:06.000+0200}, title = {Model-Checking for Real-Time Systems}, url = {http://dblp.uni-trier.de/db/conf/lics/lics90.html#AlurCD90}, year = 1990 }