Adelaide Research & Scholarship
Browsing "Computer Science publications" by Author Han, Yan-Bo
Showing results 3 to 3 of 3
< previous
| 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 |