Go home now Header Background Image
Search
Submission Procedure
share: |
 
Follow us
 
 
 
 

Dae-Kyoo Kim
Oakland University, USA

D.-K. Kim, J. Trujillo:
Foundations and Practices of Unified Modeling Language
/jucs_16_17/foundations_and_practices_of
page 2291 - 2292
Vol.16 / Issue 17
L. Lu, D.-K. Kim, Y. Zhu, S. Kim:
Verification of Structural Pattern Conformance Using Logic Programming
/jucs_16_17/verification_of_structural_pattern
page 2455 - 2474
Vol.16 / Issue 17