%0 Conference Paper %1 conf/csfw/SabelfeldS00 %A Sabelfeld, Andrei %A Sands, David %B CSFW %D 2000 %I IEEE Computer Society %K dblp %P 200-214 %T Probabilistic Noninterference for Multi-Threaded Programs. %U http://dblp.uni-trier.de/db/conf/csfw/csfw2000.html#SabelfeldS00 %@ 0-7695-0671-2

@inproceedings{conf/csfw/SabelfeldS00, added-at = {2023-03-24T00:00:00.000+0100}, author = {Sabelfeld, Andrei and Sands, David}, biburl = {https://www.bibsonomy.org/bibtex/24edecb88cc1ef7d7e93bafcd3c06b538/dblp}, booktitle = {CSFW}, crossref = {conf/csfw/2000}, ee = {https://doi.ieeecomputersociety.org/10.1109/CSFW.2000.856937}, interhash = {8415b0cd2271cc20499802150c3cb803}, intrahash = {4edecb88cc1ef7d7e93bafcd3c06b538}, isbn = {0-7695-0671-2}, keywords = {dblp}, pages = {200-214}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T11:43:00.000+0200}, title = {Probabilistic Noninterference for Multi-Threaded Programs.}, url = {http://dblp.uni-trier.de/db/conf/csfw/csfw2000.html#SabelfeldS00}, year = 2000 }