%0 Conference Paper %1 journals/entcs/MeydenZ07 %A van der Meyden, Ron %A Zhang, Chenyi %B VODCA@FOSAD %D 2006 %E ter Beek, Maurice H. %E Gadducci, Fabio %I Elsevier %K dblp %P 61-75 %T Algorithmic Verification of Noninterference Properties. %U http://dblp.uni-trier.de/db/journals/entcs/entcs168.html#MeydenZ07 %V 168

@inproceedings{journals/entcs/MeydenZ07, added-at = {2023-01-24T00:00:00.000+0100}, author = {van der Meyden, Ron and Zhang, Chenyi}, biburl = {https://www.bibsonomy.org/bibtex/2f4e4c1a4f3b27831f6646a3812cba5ba/dblp}, booktitle = {VODCA@FOSAD}, crossref = {conf/vodca/2006}, editor = {ter Beek, Maurice H. and Gadducci, Fabio}, ee = {https://doi.org/10.1016/j.entcs.2006.11.002}, interhash = {a9053df2967fe9bc83aeb40f364e5bdb}, intrahash = {f4e4c1a4f3b27831f6646a3812cba5ba}, keywords = {dblp}, pages = {61-75}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2024-04-09T10:41:07.000+0200}, title = {Algorithmic Verification of Noninterference Properties.}, url = {http://dblp.uni-trier.de/db/journals/entcs/entcs168.html#MeydenZ07}, volume = 168, year = 2006 }