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