Marco Diciolla, Chang Hwan Peter Kim, Marta Z. Kwiatkowska, Alexandru Mereacre. Synthesising optimal timing delays for Timed I/O Automata. In 2014 International Conference on Embedded Software, EMSOFT 2014, New Delhi, India, October 12-17, 2014. pages 1-10, IEEE, 2014. [doi]
@inproceedings{DiciollaKKM14,
title = {Synthesising optimal timing delays for Timed I/O Automata},
author = {Marco Diciolla and Chang Hwan Peter Kim and Marta Z. Kwiatkowska and Alexandru Mereacre},
year = {2014},
doi = {10.1145/2656045.2656073},
url = {http://dx.doi.org/10.1145/2656045.2656073},
researchr = {https://researchr.org/publication/DiciollaKKM14},
cites = {0},
citedby = {0},
pages = {1-10},
booktitle = {2014 International Conference on Embedded Software, EMSOFT 2014, New Delhi, India, October 12-17, 2014},
publisher = {IEEE},
}