%0 Conference Paper %1 conf/icalp/JancarKM98 %A Jancar, Petr %A Kucera, Antonín %A Mayr, Richard %B ICALP %D 1998 %E Larsen, Kim Guldstrand %E Skyum, Sven %E Winskel, Glynn %I Springer %K dblp %P 200-211 %T Deciding Bisimulation-Like Equivalences with Finite-State Processes. %U http://dblp.uni-trier.de/db/conf/icalp/icalp98.html#JancarKM98 %V 1443 %@ 3-540-64781-3

@inproceedings{conf/icalp/JancarKM98, added-at = {2019-08-30T00:00:00.000+0200}, author = {Jancar, Petr and Kucera, Antonín and Mayr, Richard}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2ef96949a588586faa8dbc12c2c742af1/dblp}, booktitle = {ICALP}, crossref = {conf/icalp/1998}, editor = {Larsen, Kim Guldstrand and Skyum, Sven and Winskel, Glynn}, ee = {https://doi.org/10.1007/BFb0055053}, interhash = {16032b60507fde5716d9e607efeb6fd0}, intrahash = {ef96949a588586faa8dbc12c2c742af1}, isbn = {3-540-64781-3}, keywords = {dblp}, pages = {200-211}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T13:58:38.000+0200}, title = {Deciding Bisimulation-Like Equivalences with Finite-State Processes.}, url = {http://dblp.uni-trier.de/db/conf/icalp/icalp98.html#JancarKM98}, volume = 1443, year = 1998 }