Vassilis Kostakos
Reference
C. Luo, X. Ma, Y. Tian, J. Goncalves, E. Velloso, V. 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 = {Luo, C. and X. Ma and Y. Tian and Goncalves, J. and Velloso, E. and V. 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},
}