K.-M. Choe

List of publications from the DBLP Bibliography Server - FAQ

2006

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

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

Coauthor Index