Chang Hwan Peter Kim : Publications
-
[1]
Synthesising Optimal Timing Delays for Timed I/O Automata
Marco Diciolla‚ Chang Hwan Peter Kim‚ Marta Kwiatkowska and Alexandru Mereacre
DCS. 2014.
Details about Synthesising Optimal Timing Delays for Timed I/O Automata | BibTeX data for Synthesising Optimal Timing Delays for Timed I/O Automata | Download (pdf) of Synthesising Optimal Timing Delays for Timed I/O Automata