Další formáty:
BibTeX
LaTeX
RIS
@article{233194,
author = {Kučera, Antonín},
article_location = {Denmark},
article_number = {RS-95-52},
keywords = {process algebras; regularity; behavioural equivalences},
language = {eng},
issn = {0909-0878},
journal = {BRICS Report Series},
title = {Deciding Regularity in Process Algebras},
volume = {1995},
year = {1995}
}
TY - JOUR
ID - 233194
AU - Kučera, Antonín
PY - 1995
TI - Deciding Regularity in Process Algebras
JF - BRICS Report Series
VL - 1995
IS - RS-95-52
SP - 1
EP - 1
PB - BRICS
SN - 09090878
KW - process algebras
KW - regularity
KW - behavioural equivalences
ER -
KUČERA, Antonín. Deciding Regularity in Process Algebras. \textit{BRICS Report Series}. Denmark: BRICS, 1995, roč.~1995, RS-95-52, s.~1-42. ISSN~0909-0878.
|
