%0 Conference Paper %1 conf/birthday/NielsenC94 %A Nielsen, Mogens %A Clausen, Christian %B Results and Trends in Theoretical Computer Science %D 1994 %E Karhumäki, Juhani %E Maurer, Hermann A. %E Rozenberg, Grzegorz %I Springer %K dblp %P 289-306 %T Bisimulation, Games, and Logic. %U http://dblp.uni-trier.de/db/conf/birthday/salomaa1994.html#NielsenC94 %V 812 %@ 3-540-58131-6

@inproceedings{conf/birthday/NielsenC94, added-at = {2017-05-20T00:00:00.000+0200}, author = {Nielsen, Mogens and Clausen, Christian}, biburl = {https://www.bibsonomy.org/bibtex/2cdf0285ce2825d049c3063ed3980afd4/dblp}, booktitle = {Results and Trends in Theoretical Computer Science}, crossref = {conf/birthday/1994salomaa}, editor = {Karhumäki, Juhani and Maurer, Hermann A. and Rozenberg, Grzegorz}, ee = {https://doi.org/10.1007/3-540-58131-6_54}, interhash = {8f95b22e18c0a400f28621ecbc37d880}, intrahash = {cdf0285ce2825d049c3063ed3980afd4}, isbn = {3-540-58131-6}, keywords = {dblp}, pages = {289-306}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T12:20:23.000+0200}, title = {Bisimulation, Games, and Logic.}, url = {http://dblp.uni-trier.de/db/conf/birthday/salomaa1994.html#NielsenC94}, volume = 812, year = 1994 }