%0 Journal Article %1 journals/njc/NielsenC95 %A Nielsen, Mogens %A Clausen, Christian %D 1995 %J Nord. J. Comput. %K dblp %N 2 %P 221-249 %T Games and Logics for a Noninterleaving Bisimulation. %U http://dblp.uni-trier.de/db/journals/njc/njc2.html#NielsenC95 %V 2

@article{journals/njc/NielsenC95, added-at = {2004-01-14T00:00:00.000+0100}, author = {Nielsen, Mogens and Clausen, Christian}, biburl = {https://www.bibsonomy.org/bibtex/2d7d74c14f3f784587d645a7695349938/dblp}, date = {2004-01-14}, description = {dblp}, interhash = {202ad84748f018b0881b85abc43b6bce}, intrahash = {d7d74c14f3f784587d645a7695349938}, journal = {Nord. J. Comput.}, keywords = {dblp}, number = 2, pages = {221-249}, timestamp = {2004-01-14T00:00:00.000+0100}, title = {Games and Logics for a Noninterleaving Bisimulation.}, url = {http://dblp.uni-trier.de/db/journals/njc/njc2.html#NielsenC95}, volume = 2, year = 1995 }