S. Sugawa
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
1994
A method for verifying liveness of protocols modeled as a class of ECFSM.
Proceedings of the Protocol Specification, 1994