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