Č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 Proceedings of 1st International Workshop on Verification of Infinite State Systems (INFINITY'96). Passau: University of Passau, 1996, s. 32-46. MIP-9614. |
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, 1996, s.~32-46. MIP-9614.
|