%0 Conference Paper %1 conf/fossacs/BiernackiLP19 %A Biernacki, Dariusz %A Lenglet, Sergueï %A Polesiuk, Piotr %B FoSSaCS %D 2019 %E Bojanczyk, Mikolaj %E Simpson, Alex %I Springer %K dblp %P 98-114 %T A Complete Normal-Form Bisimilarity for State. %U http://dblp.uni-trier.de/db/conf/fossacs/fossacs2019.html#BiernackiLP19 %V 11425 %@ 978-3-030-17127-8

@inproceedings{conf/fossacs/BiernackiLP19, added-at = {2021-10-14T00:00:00.000+0200}, author = {Biernacki, Dariusz and Lenglet, Sergueï and Polesiuk, Piotr}, biburl = {https://www.bibsonomy.org/bibtex/27d0d41db22678727b8f780c684aa779c/dblp}, booktitle = {FoSSaCS}, crossref = {conf/fossacs/2019}, editor = {Bojanczyk, Mikolaj and Simpson, Alex}, ee = {https://doi.org/10.1007/978-3-030-17127-8_6}, interhash = {4d0ecfc10bf197f1e5e81e6798df5dae}, intrahash = {7d0d41db22678727b8f780c684aa779c}, isbn = {978-3-030-17127-8}, keywords = {dblp}, pages = {98-114}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T19:24:28.000+0200}, title = {A Complete Normal-Form Bisimilarity for State.}, url = {http://dblp.uni-trier.de/db/conf/fossacs/fossacs2019.html#BiernackiLP19}, volume = 11425, year = 2019 }