Adelaide Research & Scholarship
Browsing "Computer Science publications" by Author Han, Jun
Showing results 1 to 2 of 2
Preview | Issue Date | Title | Author(s) |
| 2006 | Pattern Based Property Specification and Verification for Service Composition | Yu, Jian; Phan, Tan; Han, Jun; Jin, Yan; Han, Yan-Bo; Wang, Jianwu |
| 2007 | Using temporal business rules to synthesize service composition process models | Yu, Jian; Han, Jun; Falcarin, Paolo; Morisio, Maurizio; International Workshop on Architectures, Concepts and Technologies for Service Oriented Computing (1st : 2007 : Barcelona, Spain) |