%0 Conference Paper %1 conf/concur/KuceraM99 %A Kucera, Antonín %A Mayr, Richard %B CONCUR %D 1999 %E Baeten, Jos C. M. %E Mauw, Sjouke %I Springer %K dblp %P 368-382 %T Weak Bisimilarity with Infinite-State Systems Can Be Decided in Polynomial Time. %U http://dblp.uni-trier.de/db/conf/concur/concur1999.html#KuceraM99 %V 1664 %@ 3-540-66425-4

@inproceedings{conf/concur/KuceraM99, added-at = {2019-08-30T00:00:00.000+0200}, author = {Kucera, Antonín and Mayr, Richard}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/29a2cc898b98edc385fa3a3deead2c04c/dblp}, booktitle = {CONCUR}, crossref = {conf/concur/1999}, editor = {Baeten, Jos C. M. and Mauw, Sjouke}, ee = {https://doi.org/10.1007/3-540-48320-9_26}, interhash = {d8bb23aa6fcde8abc6c88db1f564ce6f}, intrahash = {9a2cc898b98edc385fa3a3deead2c04c}, isbn = {3-540-66425-4}, keywords = {dblp}, pages = {368-382}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T17:23:24.000+0200}, title = {Weak Bisimilarity with Infinite-State Systems Can Be Decided in Polynomial Time.}, url = {http://dblp.uni-trier.de/db/conf/concur/concur1999.html#KuceraM99}, volume = 1664, year = 1999 }