%0 Conference Paper %1 conf/icac/SeetanadiAM19 %A Seetanadi, Gautham Nayak %A Årzén, Karl-Erik %A Maggio, Martina %B ICAC %D 2019 %I IEEE %K dblp %P 95-104 %T Model Checking a Self-Adaptive Camera Network with Physical Disturbances. %U http://dblp.uni-trier.de/db/conf/icac/icac2019.html#SeetanadiAM19 %@ 978-1-7281-2411-7

@inproceedings{conf/icac/SeetanadiAM19, added-at = {2019-09-23T00:00:00.000+0200}, author = {Seetanadi, Gautham Nayak and Årzén, Karl-Erik and Maggio, Martina}, biburl = {https://www.bibsonomy.org/bibtex/250e45794a2b4e827c52404b221050761/dblp}, booktitle = {ICAC}, crossref = {conf/icac/2019}, ee = {https://doi.org/10.1109/ICAC.2019.00021}, interhash = {43486f4fbc74fc997bba824a9d71b6a0}, intrahash = {50e45794a2b4e827c52404b221050761}, isbn = {978-1-7281-2411-7}, keywords = {dblp}, pages = {95-104}, publisher = {IEEE}, timestamp = {2019-10-17T20:09:20.000+0200}, title = {Model Checking a Self-Adaptive Camera Network with Physical Disturbances.}, url = {http://dblp.uni-trier.de/db/conf/icac/icac2019.html#SeetanadiAM19}, year = 2019 }