@incollection{Srba:STACS:2002,
    doi = {10.1007/3-540-45841-7_44},
    url = {https://doi.org/10.1007%2F3-540-45841-7_44},
    year = {2002},
    publisher = {Springer Berlin Heidelberg},
    pages = {535--546},
    author = {Ji{\v{r}}{\'{\i}} Srba},
    title = {Strong Bisimilarity and Regularity of Basic Parallel Processes Is {PSPACE}-Hard},
    booktitle = {{STACS} 2002},
    date-added = {2023-11-10 8:25:17 +0100}
}

@incollection{Srba:STACS:2002, doi = {10.1007/3-540-45841-7_44}, url = {https://doi.org/10.1007%2F3-540-45841-7_44}, year = {2002}, publisher = {Springer Berlin Heidelberg}, pages = {535--546}, author = {Ji{\v{r}}{\'{\i}} Srba}, title = {Strong Bisimilarity and Regularity of Basic Parallel Processes Is {PSPACE}-Hard}, booktitle = {{STACS} 2002}, date-added = {2023-11-10 8:25:17 +0100} }

Library Size: 13G (12941 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A badge