Jianen Xie
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2010
Proceedings of the Web Information Systems Engineering - WISE 2010 Workshops, 2010
Formal Verification of Stochastic Timing Behavior in Web-Based Business Process Collaboration.
Proceedings of the Web-Age Information Management, 2010