Chang Hwan Peter Kim
Dr Chang Hwan Peter Kim
Research Assistant
Leaving date: 30th September 2015Biography
Please see my webpage, http://chpkim.wordpress.com
Selected Publications
-
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