Statistics
Publications
1
Citations
22
H-Index
1
Active since
1982
Affiliations
IBM Research - Zurich(Current)
Rudin is an author at IBM Research - Zurich specializing in communication protocols, protocol verification, and specification languages.
Publications per year
1982–1982
1
1
A Validation Technique for Tightly Coupled Protocols
Rudin, West · IEEE Transactions on Computers · 1982 · 22 citations
1–1 of 1