Modal Logics in Timed Process Algebras. Brim, L. In Purushothaman, S. & Zwarico, A. E., editors, NAPAW, of Workshops in Computing, pages 13-26, 1992. Springer.
Paper bibtex @inproceedings{conf/napaw/Brim92,
author = {Brim, Lubos},
booktitle = {NAPAW},
crossref = {conf/napaw/1992},
date = {2003-02-25},
editor = {Purushothaman, S. and Zwarico, Amy E.},
interhash = {b6bdb5a8553aadc12033a2d07e2cd264},
intrahash = {c4d5d2e412bf714c55fbdf5d6cad5fc0},
isbn = {3-540-19822-9},
pages = {13-26},
publisher = {Springer},
series = {Workshops in Computing},
title = {Modal Logics in Timed Process Algebras.},
url = {http://dblp.uni-trier.de/db/conf/napaw/napaw1992.html#Brim92},
year = 1992
}