 | 1991 |
|---|
| 3 |       | Antonio Joaquim S. R. Silva,
George Walter Gerber:
Fault-Tolerant Distributed Database for Supervisory Control Systems.
Datenbank Rundbrief 8: 86-94 (1991) |
| 1987 |
|---|
| 2 |  | Gregor von Bochmann,
George Walter Gerber,
Jean-Marc Serre:
Semiautomatic Implementation of Communication Protocols.
IEEE Trans. Software Eng. 13(9): 989-1000 (1987) |
| 1984 |
|---|
| 1 | | Gregor von Bochmann,
Eduard Cerny,
George Walter Gerber,
Rachida Dssouli,
Michel Maksud,
B. H. Phan,
Behçet Sarikaya,
Jean-Marc Serre:
Use of Formal Specifications for Protocol Design, Implementation and Testing.
PSTV 1984: 137-144 |
Data released under the ODC-BY 1.0 license — See also our legal information page