Weixiang Sun, Tianjun Shi, Gonzalo Argote-Garcia, Yi Deng, Xudong He. Achieving a Better Middleware Design through Formal Modeling and Analysis. In Kang Zhang, George Spanoudakis, Giuseppe Visaggio, editors, Proceedings of the Eighteenth International Conference on Software Engineering & Knowledge Engineering (SEKE 2006), San Francisco, CA, USA, July 5-7, 2006. pages 463-468, 2006.
@inproceedings{SunSADH06,
title = {Achieving a Better Middleware Design through Formal Modeling and Analysis},
author = {Weixiang Sun and Tianjun Shi and Gonzalo Argote-Garcia and Yi Deng and Xudong He},
year = {2006},
tags = {modeling, analysis, design},
researchr = {https://researchr.org/publication/SunSADH06},
cites = {0},
citedby = {0},
pages = {463-468},
booktitle = {Proceedings of the Eighteenth International Conference on Software Engineering & Knowledge Engineering (SEKE 2006), San Francisco, CA, USA, July 5-7, 2006},
editor = {Kang Zhang and George Spanoudakis and Giuseppe Visaggio},
isbn = {1-891706-18-7},
}