%0 Conference Paper %1 conf/icits/ChenM09 %A Chen, Han %A Malacaria, Pasquale %B ICITS %D 2009 %E Kurosawa, Kaoru %I Springer %K dblp %P 177-193 %T The Optimum Leakage Principle for Analyzing Multi-threaded Programs. %U http://dblp.uni-trier.de/db/conf/icits/icits2009.html#ChenM09 %V 5973 %@ 978-3-642-14495-0

@inproceedings{conf/icits/ChenM09, added-at = {2017-05-17T00:00:00.000+0200}, author = {Chen, Han and Malacaria, Pasquale}, biburl = {https://www.bibsonomy.org/bibtex/2dddbe7ebd1adadc43f3f419b2e7d38f0/dblp}, booktitle = {ICITS}, crossref = {conf/icits/2009}, editor = {Kurosawa, Kaoru}, ee = {https://doi.org/10.1007/978-3-642-14496-7_15}, interhash = {a13bfc7f2d8dc01ea8e0704ea5651a7c}, intrahash = {dddbe7ebd1adadc43f3f419b2e7d38f0}, isbn = {978-3-642-14495-0}, keywords = {dblp}, pages = {177-193}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T17:16:18.000+0200}, title = {The Optimum Leakage Principle for Analyzing Multi-threaded Programs.}, url = {http://dblp.uni-trier.de/db/conf/icits/icits2009.html#ChenM09}, volume = 5973, year = 2009 }