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.
|