K.-M. Choe

Publication Activity (10 Years)

Years Active: 2006-2006
Publications (10 Years): 0

Publications

Nikolay V. Shilov, Natalya Olegovna Garanina, K.-M. Choe
Update and Abstraction in Model Checking of Knowledge and Branching Time. Fundam. Informaticae 72 (1-3) (2006)