1. CUPID: A Protocol Development Environment Yemini, Yechiam; Nounou, Nihal 1983 Reports Computer science
2. Algebraic Specification-Based Performance Analysis or Communication Protocols Nounou, Nihal; Yemini, Yechiam 1984 Reports Computer science
3. Development Tools for Communication Protocols: An Overview Nounou, Nihal; Yemini, Yechiam 1984 Reports Computer science
4. A Methodology tor Specification-Based Performance Analysis of Communication Protocols Nounou, Nihal; Yemini, Yechiam 1985 Reports Computer science
5. An Automated Performance Analysis of a Two Phase Locking Protocol Nounou, Nihal; Yemini, Yechiam 1985 Reports Computer science
6. Development Tools For Communication Protocols Nounou, Nihal; Yemini, Yechiam 1985 Reports Computer science