Další formáty:
BibTeX
LaTeX
RIS
@inproceedings{190133, author = {Černá, Ivana and Křetínský, Mojmír and Kučera, Antonín}, address = {Passau}, booktitle = {Proceedings of 1st International Workshop on Verification of Infinite State Systems (INFINITY'96)}, language = {eng}, location = {Passau}, pages = {32-46}, publisher = {University of Passau}, title = {Bisimilarity is Decidable in the Union of Normed BPA and Normed BPP Processes}, year = {1996} }
TY - JOUR ID - 190133 AU - Černá, Ivana - Křetínský, Mojmír - Kučera, Antonín PY - 1996 TI - Bisimilarity is Decidable in the Union of Normed BPA and Normed BPP Processes VL - MIP-9614 PB - University of Passau CY - Passau ER -
ČERNÁ, Ivana, Mojmír KŘETÍNSKÝ a Antonín KUČERA. Bisimilarity is Decidable in the Union of Normed BPA and Normed BPP Processes. B. Steffen, T. Margaria (Eds.). In \textit{Proceedings of 1st International Workshop on Verification of Infinite State Systems (INFINITY'96)}. Passau: University of Passau. s.~32-46. MIP-9614. 1996.
|