Další formáty:
BibTeX
LaTeX
RIS
@inproceedings{554333,
author = {Brim, Luboš},
booktitle = {First North American
First North American Process Algebra Workshop},
keywords = {process algebra},
isbn = {3-540-19822-9},
pages = {13-28},
publisher = {Workshops in Computing, Springer-Verlag},
title = {Modal logics for timed process algebras},
year = {1992}
}
TY - JOUR
ID - 554333
AU - Brim, Luboš
PY - 1992
TI - Modal logics for timed process algebras
PB - Workshops in Computing, Springer-Verlag
SN - 3540198229
KW - process algebra
ER -
BRIM, Luboš. Modal logics for timed process algebras. In \textit{First North American
First North American Process Algebra Workshop}. Workshops in Computing, Springer-Verlag, 1992, s.~13-28. ISBN~3-540-19822-9.
|
