Conflict detection in composite web services based on model checking

Yeon Seok Kim, Dong Hoon Shin, Hyun Bae Jeon, Kyong Ho Lee, Kee Seong Cho, Wonjoo Park

Research output: Contribution to journalArticle

5 Citations (Scopus)

Fingerprint Dive into the research topics of 'Conflict detection in composite web services based on model checking'. Together they form a unique fingerprint.

Engineering & Materials Science