Chang Hwan Peter Kim : Publications
Click here to download all publications in a single bibtex file
@techreport{RR-14-07, title = "Synthesising Optimal Timing Delays for Timed I/O Automata", author = "Marco Diciolla and Chang Hwan Peter Kim and Marta Kwiatkowska and Alexandru Mereacre", year = "2014", institution = "DCS", pages = "27", }