Other formats:
BibTeX
LaTeX
RIS
@article{233371, author = {Kučera, Antonín and Richard, Mayr}, article_location = {Germany}, article_number = {TUM-I9830}, keywords = {process algebras; bisimilarity; finite-state systems}, language = {eng}, journal = {Technical Report TUM}, title = {Weak Bisimilarity with Infinite-State Systems can be Decided in Polynomial Time}, volume = {1998}, year = {1998} }
TY - JOUR ID - 233371 AU - Kučera, Antonín - Richard, Mayr PY - 1998 TI - Weak Bisimilarity with Infinite-State Systems can be Decided in Polynomial Time JF - Technical Report TUM VL - 1998 IS - TUM-I9830 SP - 1 EP - 1 PB - Technical University Munich KW - process algebras KW - bisimilarity KW - finite-state systems ER -
KUČERA, Antonín and Mayr RICHARD. Weak Bisimilarity with Infinite-State Systems can be Decided in Polynomial Time. \textit{Technical Report TUM}. Germany: Technical University Munich, 1998, vol.~1998, TUM-I9830, p.~1-28.
|