default search action
BibTeX record journals/cleiej/LeeD11
@article{DBLP:journals/cleiej/LeeD11, author = {Matias David Lee and Pedro R. D'Argenio}, title = {Semantics for Interactive Sequential Systems and Non-Interference Properties}, journal = {{CLEI} Electron. J.}, volume = {14}, number = {3}, year = {2011}, url = {https://doi.org/10.19153/cleiej.14.3.6}, doi = {10.19153/CLEIEJ.14.3.6}, timestamp = {Tue, 21 May 2019 18:03:32 +0200}, biburl = {https://dblp.org/rec/journals/cleiej/LeeD11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.