LEE Jungjae | Department of Computer Science and Engineering, Korea University
スポンサーリンク
概要
関連著者
-
PARK Junkil
Department of Computer Science and Engineering, Korea University
-
LEE Jungjae
Department of Computer Science and Engineering, Korea University
-
CHOI Jin-Young
Department of Computer Science and Engineering, Korea University
-
LEE Insup
Department of Computer and Information Science, University of Pennsylvania
-
Lee Insup
Department Of Computer And Information Science University Of Pennsylvania
-
Park Junkil
Department Of Computer Science And Engineering Korea University
-
Lee Jungjae
Department Of Computer Science And Engineering Korea University
-
Choi Jin-young
Department Of Computer Science And Engineering Korea University
-
Choi Jin‐young
Korea Univ. Seoul Kor
著作論文
- Model Checking of Real-Time Properties of Resource-Bound Process Algebra
- Model Checking of Real-Time Properties of Resource-Bound Process Algebra