| |
| 1995 | ||
|---|---|---|
| 5 | J. Coenen: Hoare's Logic and VDM. Formal Asp. Comput. 7(1): 91-105 (1995) | |
| 1993 | ||
| 4 | J. Coenen: Top-Down Development of Layered Fault Tolerant Systems and its Problems- a Denotic Perspective. Ann. Math. Artif. Intell. 9(1-2): 133-150 (1993) | |
| 1992 | ||
| 3 | J. Coenen, Jozef Hooman: A Compositional Semantics for Fault-Tolerant Real-Time Systems. FTRTFT 1992: 33-51 | |
| 2 | Frank S. de Boer, J. Coenen, Rob Gerth: Exception Handling in Process Algebra. NAPAW 1992: 86-100 | |
| 1990 | ||
| 1 | EE | J. Coenen, Jozef Hooman: A formal approach to fault-tolerance in distributed real-time systems. ACM SIGOPS European Workshop 1990 |
| 1 | Frank S. de Boer | [2] |
| 2 | Rob Gerth | [2] |
| 3 | Jozef Hooman | [1] [3] |