1 citations · 1 across the 1 of their papers we have counts for
1 paper
Sok-Min Han, Un-Chol Pang, Hyok-Chol Choe +1
There are lots of research works on web service, composition, modeling, verification and other problems. Theses research works are done on the basis of formal methods, such as petr…