%0 Conference Paper %1 conf/concur/RaskinSH98 %A Raskin, Jean-François %A Schobbens, Pierre-Yves %A Henzinger, Thomas A. %B CONCUR %D 1998 %E Sangiorgi, Davide %E de Simone, Robert %I Springer %K dblp %P 219-236 %T Axioms for Real-Time Logics. %U http://dblp.uni-trier.de/db/conf/concur/concur1998.html#RaskinSH98 %V 1466 %@ 3-540-64896-8

@inproceedings{conf/concur/RaskinSH98, added-at = {2018-11-30T00:00:00.000+0100}, author = {Raskin, Jean-François and Schobbens, Pierre-Yves and Henzinger, Thomas A.}, biburl = {https://www.bibsonomy.org/bibtex/2312263c50aa4be68801e33e786f2ffd5/dblp}, booktitle = {CONCUR}, crossref = {conf/concur/1998}, editor = {Sangiorgi, Davide and de Simone, Robert}, ee = {https://doi.org/10.1007/BFb0055625}, interhash = {40d9a8c64c7fcfd5856b370a246dd716}, intrahash = {312263c50aa4be68801e33e786f2ffd5}, isbn = {3-540-64896-8}, keywords = {dblp}, pages = {219-236}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:56:54.000+0200}, title = {Axioms for Real-Time Logics.}, url = {http://dblp.uni-trier.de/db/conf/concur/concur1998.html#RaskinSH98}, volume = 1466, year = 1998 }