Chang Hwan Peter Kim

Dr Chang Hwan Peter Kim

Research Assistant

Leaving date: 30th September 2015

Biography

Please see my webpage, http://chpkim.wordpress.com

Selected Publications

View AllManage 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