%0 Conference Paper %1 conf/ershov/Sabelfeld03 %A Sabelfeld, Andrei %B Ershov Memorial Conference %D 2003 %E Broy, Manfred %E Zamulin, Alexandre V. %I Springer %K dblp %P 260-274 %T Confidentiality for Multithreaded Programs via Bisimulation. %U http://dblp.uni-trier.de/db/conf/ershov/ershov2003.html#Sabelfeld03 %V 2890 %@ 3-540-20813-5

@inproceedings{conf/ershov/Sabelfeld03, added-at = {2017-05-21T00:00:00.000+0200}, author = {Sabelfeld, Andrei}, biburl = {https://www.bibsonomy.org/bibtex/24c1c242592e0ad66f68a71781252b86b/dblp}, booktitle = {Ershov Memorial Conference}, crossref = {conf/ershov/2003}, editor = {Broy, Manfred and Zamulin, Alexandre V.}, ee = {https://doi.org/10.1007/978-3-540-39866-0_27}, interhash = {17e9a1009fa9fb6312a20c90cb1f9f8a}, intrahash = {4c1c242592e0ad66f68a71781252b86b}, isbn = {3-540-20813-5}, keywords = {dblp}, pages = {260-274}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T20:03:43.000+0200}, title = {Confidentiality for Multithreaded Programs via Bisimulation.}, url = {http://dblp.uni-trier.de/db/conf/ershov/ershov2003.html#Sabelfeld03}, volume = 2890, year = 2003 }