%0 Conference Paper %1 conf/tapsoft/BaldamusD97 %A Baldamus, Michael %A Dingel, Jürgen %B TAPSOFT %D 1997 %E Bidoit, Michel %E Dauchet, Max %I Springer %K dblp %P 285-296 %T Modal Characterization of Weak Bisimulation for Higher-order Processes (Extended Abstract). %U http://dblp.uni-trier.de/db/conf/tapsoft/tapsoft97.html#BaldamusD97 %V 1214 %@ 3-540-62781-2

@inproceedings{conf/tapsoft/BaldamusD97, added-at = {2017-05-21T00:00:00.000+0200}, author = {Baldamus, Michael and Dingel, Jürgen}, biburl = {https://www.bibsonomy.org/bibtex/2c2d7bf815f0c4884cc02cd9fb89f347d/dblp}, booktitle = {TAPSOFT}, crossref = {conf/tapsoft/1997}, editor = {Bidoit, Michel and Dauchet, Max}, ee = {https://doi.org/10.1007/BFb0030604}, interhash = {3238e7929b972cddb52b87dbf2ddcda7}, intrahash = {c2d7bf815f0c4884cc02cd9fb89f347d}, isbn = {3-540-62781-2}, keywords = {dblp}, pages = {285-296}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T18:26:01.000+0200}, title = {Modal Characterization of Weak Bisimulation for Higher-order Processes (Extended Abstract).}, url = {http://dblp.uni-trier.de/db/conf/tapsoft/tapsoft97.html#BaldamusD97}, volume = 1214, year = 1997 }