%0 Journal Article %1 journals/iandc/JonssonP93 %A Jonsson, Bengt %A Parrow, Joachim %D 1993 %J Inf. Comput. %K dblp %N 2 %P 272-302 %T Deciding Bisimulation Equivalences for a Class of Non-Finite-State Programs %U http://dblp.uni-trier.de/db/journals/iandc/iandc107.html#JonssonP93 %V 107

@article{journals/iandc/JonssonP93, added-at = {2021-08-31T00:00:00.000+0200}, author = {Jonsson, Bengt and Parrow, Joachim}, biburl = {https://www.bibsonomy.org/bibtex/268693304369f440be2ed79b4647ce429/dblp}, ee = {https://doi.org/10.1006/inco.1993.1069}, interhash = {51edee96da905b54afa1748800130593}, intrahash = {68693304369f440be2ed79b4647ce429}, journal = {Inf. Comput.}, keywords = {dblp}, month = {December}, number = 2, pages = {272-302}, timestamp = {2024-04-09T06:11:01.000+0200}, title = {Deciding Bisimulation Equivalences for a Class of Non-Finite-State Programs}, url = {http://dblp.uni-trier.de/db/journals/iandc/iandc107.html#JonssonP93}, volume = 107, year = 1993 }