Other formats:
BibTeX
LaTeX
RIS
@article{233251, author = {Kučera, Antonín}, article_location = {Brno}, article_number = {RS-96-01}, keywords = {process algebras; regularity; bisimilarity}, language = {eng}, journal = {FI MU Report Series}, title = {Regularity is Decidable for Normed PA Processes in Polynomial Time}, volume = {1996}, year = {1996} }
TY - JOUR ID - 233251 AU - Kučera, Antonín PY - 1996 TI - Regularity is Decidable for Normed PA Processes in Polynomial Time JF - FI MU Report Series VL - 1996 IS - RS-96-01 SP - 1 EP - 1 PB - FI MU KW - process algebras KW - regularity KW - bisimilarity ER -
KUČERA, Antonín. Regularity is Decidable for Normed PA Processes in Polynomial Time. \textit{FI MU Report Series}. Brno: FI MU, 1996, vol.~1996, RS-96-01, p.~1-17.
|