| |
| 1992 | ||
|---|---|---|
| 2 | Omar Amyay, Guy Juanole, Stella Zwecker: An Epistemic Logic Based Synthesis of Communication Services and Protocols. ICDCS 1992: 674-681 | |
| 1990 | ||
| 1 | Stella Zwecker, Guy Juanole, Omar Amyay: Utilisation de Prolog dans la conception d'Architectures Multicouches pour l'interconnexion de Réseaux. SPLT 1990: 23- | |
| 1 | Omar Amyay | [1] [2] |
| 2 | Guy Juanole | [1] [2] |