%0 Journal Article %1 journals/cuza/SokolovaVW09 %A Sokolova, Ana %A de Vink, Erik P. %A Woracek, Harald %D 2009 %J Sci. Ann. Comp. Sci. %K dblp %P 93-144 %T Coalgebraic Weak Bisimulation for Action-Type Systems. %U http://dblp.uni-trier.de/db/journals/cuza/cuza19.html#SokolovaVW09 %V 19

@article{journals/cuza/SokolovaVW09, added-at = {2020-01-06T00:00:00.000+0100}, author = {Sokolova, Ana and de Vink, Erik P. and Woracek, Harald}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/227e8a9efab5576f6326a209ac0e78c15/dblp}, ee = {http://www.info.uaic.ro/bin/Annals/Article?v=XIX&a=3}, interhash = {16cd2f8088439693b4b23dca34c54723}, intrahash = {27e8a9efab5576f6326a209ac0e78c15}, journal = {Sci. Ann. Comp. Sci.}, keywords = {dblp}, pages = {93-144}, timestamp = {2020-01-09T07:45:57.000+0100}, title = {Coalgebraic Weak Bisimulation for Action-Type Systems.}, url = {http://dblp.uni-trier.de/db/journals/cuza/cuza19.html#SokolovaVW09}, volume = 19, year = 2009 }