@inproceedings{b235d3b11c0640038a149f959ce4bfd0,
title = "Propositional temporal logics and equivalences",
author = "U. Goltz and R. Kuiper and W. Penczek",
year = "1992",
doi = "10.1007/BFb0084794",
language = "English",
isbn = "3-540-55822-5",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "222--236",
editor = "R. Cleaveland",
booktitle = "CONCUR'92 (Proceedings 3rd International Conference on Concurrency Theory, Stony Brook NY, USA, August 24-27, 1992)",
address = "Germany",
}