Raghu Mani
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
1993
Group membership protocol: specification and verification.
Proceedings of the Specification and validation methods, 1993