@INPROCEEDINGS{Jancar:LICS:2003,
    author = {Jan{\v c}ar, Petr},
    booktitle = {Proc.~of LICS'03},
    title = {Strong bisimilarity on basic parallel processes in PSPACE-complete},
    year = {2003},
    volume = {},
    number = {},
    pages = {218--227},
    doi = {10.1109/LICS.2003.1210061},
    date-added = {2023-11-10 8:37:18 +0100}
}

@INPROCEEDINGS{Jancar:LICS:2003, author = {Jan{\v c}ar, Petr}, booktitle = {Proc.~of LICS'03}, title = {Strong bisimilarity on basic parallel processes in PSPACE-complete}, year = {2003}, volume = {}, number = {}, pages = {218--227}, doi = {10.1109/LICS.2003.1210061}, date-added = {2023-11-10 8:37:18 +0100} }