@incollection{Huttel:TACS:1994,
    doi = {10.1007/3-540-57887-0_110},
    url = {https://doi.org/10.1007%2F3-540-57887-0_110},
    year = {1994},
    publisher = {Springer Berlin Heidelberg},
    pages = {454--464},
    author = {Hans Hüttel},
    title = {Undecidable equivalences for basic parallel processes},
    booktitle = {Theoretical Aspects of Computer Software. TACS 1994},
    date-added = {2023-11-10 9:17:10 +0100}
}

@incollection{Huttel:TACS:1994, doi = {10.1007/3-540-57887-0_110}, url = {https://doi.org/10.1007%2F3-540-57887-0_110}, year = {1994}, publisher = {Springer Berlin Heidelberg}, pages = {454--464}, author = {Hans Hüttel}, title = {Undecidable equivalences for basic parallel processes}, booktitle = {Theoretical Aspects of Computer Software. TACS 1994}, date-added = {2023-11-10 9:17:10 +0100} }