%0 Conference Paper %1 conf/csfw/AskarovCM15 %A Askarov, Aslan %A Chong, Stephen %A Mantel, Heiko %B CSF %D 2015 %E Fournet, Cédric %E Hicks, Michael W. %E Viganò, Luca %I IEEE Computer Society %K %P 137-151 %T Hybrid Monitors for Concurrent Noninterference. %U http://dblp.uni-trier.de/db/conf/csfw/csf2015.html#AskarovCM15 %@ 978-1-4673-7538-2

@inproceedings{conf/csfw/AskarovCM15, added-at = {2023-12-12T17:26:02.000+0100}, author = {Askarov, Aslan and Chong, Stephen and Mantel, Heiko}, biburl = {https://www.bibsonomy.org/bibtex/2ff39836b3a334a37a14bcb13be9e5584/admin}, booktitle = {CSF}, crossref = {conf/csfw/2015}, editor = {Fournet, Cédric and Hicks, Michael W. and Viganò, Luca}, ee = {http://doi.ieeecomputersociety.org/10.1109/CSF.2015.17}, interhash = {03922144f53045651331b8497e853483}, intrahash = {ff39836b3a334a37a14bcb13be9e5584}, isbn = {978-1-4673-7538-2}, keywords = {}, pages = {137-151}, publisher = {IEEE Computer Society}, timestamp = {2023-12-12T17:26:02.000+0100}, title = {Hybrid Monitors for Concurrent Noninterference.}, url = {http://dblp.uni-trier.de/db/conf/csfw/csf2015.html#AskarovCM15}, year = 2015 }