Vassilis Kostakos
Reference
Chu Luo, Xu Ma, Yanshan Tian, Jorge Goncalves, Eduardo Velloso, Vassilis Kostakos. 2019. "Verifying nondeterministic processes driven by broadcasts on Android", Proc. Information Technology, Networking, Electronic and Automation Control Conference (ITNEC), pp. 341-348.
Bibtex Entry
@inproceedings{RN10236,
author = {Chu Luo and Xu Ma and Yanshan Tian and Jorge Goncalves and Eduardo Velloso and Vassilis Kostakos},
booktitle = {Information Technology, Networking, Electronic and Automation Control Conference},
doi = {10.1109/ITNEC.2019.8729296},
pages = {341-348},
series = {ITNEC},
title = {Verifying nondeterministic processes driven by broadcasts on Android},
url = {http://people.eng.unimelb.edu.au/vkostakos/files/papers/itnec19.pdf},
year = {2019},
bdsk-url-2 = {http://people.eng.unimelb.edu.au/vkostakos/files/papers/itnec19.pdf},
bdsk-url-3 = {https://doi.org/10.1109/ITNEC.2019.8729296},
}