Vassilis Kostakos
Verifying nondeterministic processes driven by broadcasts on Android
by C. Luo, X. Ma, Y. Tian, J. Goncalves, E. Velloso, V. 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},
date-added = {2019-06-19 16:39:11 +1000},
date-modified = {2019-08-10 12:27:37 +1000},
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},
}