| |
| 1984 | ||
|---|---|---|
| 2 | Nihal Nounou, Yechiam Yemini: Algebraic Specification-Based Performance Analysis of Communication Protocols. PSTV 1984: 541-560 | |
| 1983 | ||
| 1 | Yechiam Yemini, Nihal Nounou: CUPID: A Protocol Development Environment. Protocol Specification, Testing, and Verification 1983: 347-355 | |
| 1 | Yechiam Yemini | [1] [2] |