Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

J. Coenen

1990 – 1999

see FAQ

What is the meaning of the colors in the publication list?

1995
[j2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/fac/Coenen95
- ask others
J. Coenen: Hoare's Logic and VDM. Formal Asp. Comput. 7(1): 91-105 (1995)
1993
[j1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/amai/Coenen93
- ask others
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
[c3]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ftrtft/CoenenH92
- ask others
J. Coenen, Jozef Hooman: A Compositional Semantics for Fault-Tolerant Real-Time Systems. FTRTFT 1992: 33-51
[c2]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/napaw/BoerCG92
- ask others
Frank S. de Boer, J. Coenen, Rob Gerth: Exception Handling in Process Algebra. NAPAW 1992: 86-100
1990
[c1]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/sigopsE/CoenenH90
- ask others
J. Coenen, Jozef Hooman: A formal approach to fault-tolerance in distributed real-time systems. ACM SIGOPS European Workshop 1990

Coauthor Index

see FAQ

What is the meaning of the colors in the coauthor index?