%0 Conference Paper %1 conf/asian/Cao06 %A Cao, Zining %B ASIAN %D 2006 %E Okada, Mitsu %E Satoh, Ichiro %I Springer %K dblp %P 231-239 %T A Spatial Logical Characterisation of Context Bisimulation. %U http://dblp.uni-trier.de/db/conf/asian/asian2006.html#Cao06 %V 4435 %@ 978-3-540-77504-1

@inproceedings{conf/asian/Cao06, added-at = {2017-05-26T00:00:00.000+0200}, author = {Cao, Zining}, biburl = {https://www.bibsonomy.org/bibtex/25f3758ff52f3aa0177a44ae3a7f413c1/dblp}, booktitle = {ASIAN}, crossref = {conf/asian/2006}, editor = {Okada, Mitsu and Satoh, Ichiro}, ee = {https://doi.org/10.1007/978-3-540-77505-8_18}, interhash = {c9637f4bed3b5bf520871714cb02409a}, intrahash = {5f3758ff52f3aa0177a44ae3a7f413c1}, isbn = {978-3-540-77504-1}, keywords = {dblp}, pages = {231-239}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T17:18:55.000+0200}, title = {A Spatial Logical Characterisation of Context Bisimulation.}, url = {http://dblp.uni-trier.de/db/conf/asian/asian2006.html#Cao06}, volume = 4435, year = 2006 }