William Emfinger, Gabor Karsai, Abhishek Dubey, Aniruddha S. Gokhale. Analysis, verification, and management toolsuite for cyber-physical applications on time-varying networks. In Ralf Lämmel, Walid Taha, editors, Proceedings of the 4th ACM SIGBED International Workshop on Design, Modeling, and Evaluation of Cyber-Physical Systems, CyPhy 2014, Berlin, Germany, April 14-17, 2014. pages 44-47, ACM, 2014. [doi]
@inproceedings{EmfingerKDG14,
title = {Analysis, verification, and management toolsuite for cyber-physical applications on time-varying networks},
author = {William Emfinger and Gabor Karsai and Abhishek Dubey and Aniruddha S. Gokhale},
year = {2014},
doi = {10.1145/2593458.2593459},
url = {http://doi.acm.org/10.1145/2593458.2593459},
researchr = {https://researchr.org/publication/EmfingerKDG14},
cites = {0},
citedby = {0},
pages = {44-47},
booktitle = {Proceedings of the 4th ACM SIGBED International Workshop on Design, Modeling, and Evaluation of Cyber-Physical Systems, CyPhy 2014, Berlin, Germany, April 14-17, 2014},
editor = {Ralf Lämmel and Walid Taha},
publisher = {ACM},
isbn = {978-1-4503-2871-5},
}