Weixiang Sun, Tianjun Shi, Gonzalo Argote-Garcia, Yi Deng, Xudong He
Achieving a Better Middleware Design through Formal Modeling and Analysis
SEKE, 2006.
@inproceedings{SEKE-2006-SunSADH,
author = "Weixiang Sun and Tianjun Shi and Gonzalo Argote-Garcia and Yi Deng and Xudong He",
booktitle = "{Proceedings of the 18th International Conference on Software Engineering and Knowledge Engineering}",
isbn = "1-891706-18-7",
pages = "463--468",
title = "{Achieving a Better Middleware Design through Formal Modeling and Analysis}",
year = 2006,
}