dblp.uni-trier.dewww.uni-trier.de

Honghua Cao

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
3EEDehui Du, Jing Liu, Honghua Cao: A Rigorous Model of Contract-Based Service Component Architecture. CSSE (2) 2008: 409-412
2007
2EEXiangyang Jia, Shi Ying, Tao Zhang, Honghua Cao, Dan Xie: A New Architecture Description Language for Service-Oriented Architec. GCC 2007: 96-103
2006
1EEHonghua Cao, Shi Ying, Dehui Du: Towards Model-based Verification of BPEL with Model Checking. CIT 2006: 190

Coauthor Index

1Dehui Du [1] [3]
2Xiangyang Jia [2]
3Jing Liu [3]
4Dan Xie [2]
5Shi Ying [1] [2]
6Tao Zhang [2]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)