%0 Journal Article %1 journals/fuin/Fokkink96 %A Fokkink, Wan J. %D 1996 %J Fundam. Informaticae %K dblp %N 2 %P 103-113 %T A Complete Axiomatization for Prefix Iteration in Branching Bisimulation. %U http://dblp.uni-trier.de/db/journals/fuin/fuin26.html#Fokkink96 %V 26

@article{journals/fuin/Fokkink96, added-at = {2020-09-18T00:00:00.000+0200}, author = {Fokkink, Wan J.}, biburl = {https://www.bibsonomy.org/bibtex/22cc069ba5560e860ac3a8ad610e7b636/dblp}, ee = {https://doi.org/10.3233/FI-1996-26201}, interhash = {c262a8028c03b3c31dadc1b799905bff}, intrahash = {2cc069ba5560e860ac3a8ad610e7b636}, journal = {Fundam. Informaticae}, keywords = {dblp}, number = 2, pages = {103-113}, timestamp = {2020-09-19T11:38:56.000+0200}, title = {A Complete Axiomatization for Prefix Iteration in Branching Bisimulation.}, url = {http://dblp.uni-trier.de/db/journals/fuin/fuin26.html#Fokkink96}, volume = 26, year = 1996 }