%0 Book Section %1 books/ws/phaunRS01/BodeiDNN01 %A Bodei, Chiara %A Degano, Pierpaolo %A Nielson, Flemming %A Nielson, Hanne Riis %B Current Trends in Theoretical Computer Science %D 2001 %E Paun, Gheorghe %E Rozenberg, Grzegorz %E Salomaa, Arto %I World Scientific %K dblp %P 525-542 %T Security Analysis Using Flow Logics. %U http://dblp.uni-trier.de/db/books/collections/PhaunRS2001.html#BodeiDNN01 %@ 981-02-4473-8

@incollection{books/ws/phaunRS01/BodeiDNN01, added-at = {2019-08-03T00:00:00.000+0200}, author = {Bodei, Chiara and Degano, Pierpaolo and Nielson, Flemming and Nielson, Hanne Riis}, biburl = {https://www.bibsonomy.org/bibtex/2e14349d5d4b2bd273ed374d8f51c31a6/dblp}, booktitle = {Current Trends in Theoretical Computer Science}, crossref = {books/ws/PhaunRS01}, editor = {Paun, Gheorghe and Rozenberg, Grzegorz and Salomaa, Arto}, ee = {https://doi.org/10.1142/4566}, interhash = {59912d0d0a56b2ade8a02817a7bebab1}, intrahash = {e14349d5d4b2bd273ed374d8f51c31a6}, isbn = {981-02-4473-8}, keywords = {dblp}, pages = {525-542}, publisher = {World Scientific}, timestamp = {2019-08-06T11:44:51.000+0200}, title = {Security Analysis Using Flow Logics.}, url = {http://dblp.uni-trier.de/db/books/collections/PhaunRS2001.html#BodeiDNN01}, year = 2001 }