Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX record conf/hicons/PrabhakarK13
@inproceedings{DBLP:conf/hicons/PrabhakarK13, author = {Pavithra Prabhakar and Boris K{\"{o}}pf}, editor = {Linda Bushnell and Larry Rohrbough and Saurabh Amin and Xenofon D. Koutsoukos}, title = {Verifying information flow properties of hybrid systems}, booktitle = {2nd {ACM} International Conference on High Confidence Networked Systems (part of {CPS} Week), HiCoNS 2013, Philadelphia, PA, USA, April 9-11, 2013}, pages = {77--84}, publisher = {{ACM}}, year = {2013}, url = {https://doi.org/10.1145/2461446.2461458}, doi = {10.1145/2461446.2461458}, timestamp = {Tue, 06 Nov 2018 11:07:27 +0100}, biburl = {https://dblp.org/rec/conf/hicons/PrabhakarK13.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.