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

Lunjin Lu
Oakland University, USA

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