%0 Conference Paper %1 conf/ershov/Sabelfeld01 %A Sabelfeld, Andrei %B Ershov Memorial Conference %D 2001 %E Bjørner, Dines %E Broy, Manfred %E Zamulin, Alexandre V. %I Springer %K dblp %P 225-239 %T The Impact of Synchronisation on Secure Information Flow in Concurrent Programs. %U http://dblp.uni-trier.de/db/conf/ershov/ershov2001.html#Sabelfeld01 %V 2244 %@ 3-540-43075-X

@inproceedings{conf/ershov/Sabelfeld01, added-at = {2017-05-21T00:00:00.000+0200}, author = {Sabelfeld, Andrei}, biburl = {https://www.bibsonomy.org/bibtex/2aba9b819c452ec0057ccc6c6409c9c8a/dblp}, booktitle = {Ershov Memorial Conference}, crossref = {conf/ershov/2001}, editor = {Bjørner, Dines and Broy, Manfred and Zamulin, Alexandre V.}, ee = {https://doi.org/10.1007/3-540-45575-2_22}, interhash = {dc191ddf438b0dfe1d111f9bef38dde9}, intrahash = {aba9b819c452ec0057ccc6c6409c9c8a}, isbn = {3-540-43075-X}, keywords = {dblp}, pages = {225-239}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T20:03:43.000+0200}, title = {The Impact of Synchronisation on Secure Information Flow in Concurrent Programs.}, url = {http://dblp.uni-trier.de/db/conf/ershov/ershov2001.html#Sabelfeld01}, volume = 2244, year = 2001 }