%0 Journal Article %1 journals/tcs/SchobbensRH02 %A Schobbens, Pierre-Yves %A Raskin, Jean-François %A Henzinger, Thomas A. %D 2002 %J Theor. Comput. Sci. %K dblp %N 1-2 %P 151-182 %T Axioms for real-time logics. %U http://dblp.uni-trier.de/db/journals/tcs/tcs274.html#SchobbensRH02 %V 274

@article{journals/tcs/SchobbensRH02, added-at = {2023-08-28T00:00:00.000+0200}, author = {Schobbens, Pierre-Yves and Raskin, Jean-François and Henzinger, Thomas A.}, biburl = {https://www.bibsonomy.org/bibtex/206d7db07a29054a0e8cdd6ca93f593c2/dblp}, ee = {https://www.wikidata.org/entity/Q114655904}, interhash = {cc10720342fdae30b8d599c1cab4bb57}, intrahash = {06d7db07a29054a0e8cdd6ca93f593c2}, journal = {Theor. Comput. Sci.}, keywords = {dblp}, number = {1-2}, pages = {151-182}, timestamp = {2024-04-08T18:44:20.000+0200}, title = {Axioms for real-time logics.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs274.html#SchobbensRH02}, volume = 274, year = 2002 }