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