Ye Xinming
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
1999
A Formal Description Technology: Graphics E-LOTOS.
Proceedings of the Formal Methods for Protocol Engineering and Distributed Systems, 1999