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