| |
| 1996 | ||
|---|---|---|
| 2 | EE | Ahmet F. Ates, Behçet Sarikaya: Test Sequence Generation and Timed Testing. Computer Networks and ISDN Systems 29(1): 107-131 (1996) |
| 1 | Ahmet F. Ates, Murat Bilgic, Senro Saito, Behçet Sarikaya: Using Timed CSP for Specification Verification and Simulation of Multimedia Synchronization. IEEE Journal on Selected Areas in Communications 14(1): 126-137 (1996) | |
| 1 | Murat Bilgic | [1] |
| 2 | Senro Saito | [1] |
| 3 | Behçet Sarikaya | [1] [2] |