Parosh Aziz Abdulla, Mohamed Faouzi Atig, Shankara Narayanan Krishna, Shaan Vaidya. Verification of Timed Asynchronous Programs. In Sumit Ganguly, Paritosh K. Pandya, editors, 38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2018, December 11-13, 2018, Ahmedabad, India. Volume 122 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2018. [doi]
@inproceedings{AbdullaAKV18,
title = {Verification of Timed Asynchronous Programs},
author = {Parosh Aziz Abdulla and Mohamed Faouzi Atig and Shankara Narayanan Krishna and Shaan Vaidya},
year = {2018},
doi = {10.4230/LIPIcs.FSTTCS.2018.8},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2018.8},
researchr = {https://researchr.org/publication/AbdullaAKV18},
cites = {0},
citedby = {0},
booktitle = {38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2018, December 11-13, 2018, Ahmedabad, India},
editor = {Sumit Ganguly and Paritosh K. Pandya},
volume = {122},
series = {LIPIcs},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
isbn = {978-3-95977-093-4},
}