K.-M. Choe

According to our database, K.-M. Choe authored at least 1 paper in 2006.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2006

Update and Abstraction in Model Checking of Knowledge and Branching Time.

Nikolay V. Shilov, Natalya Olegovna Garanina, K.-M. Choe

Fundam. Informaticae, 2006