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

Ralf Reetz

1990 – 1999

see FAQ

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

1998
[c3]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/date/ReetzSK98
- ask others
Ralf Reetz, Klaus Schneider, Thomas Kropf: Formal Specification in VHDL for Hardware Verification. DATE 1998: 257-263
1995
[j1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/fmsd/ReetzK95
- ask others
Ralf Reetz, Thomas Kropf: A Flowgraph Semantics of VHDL: Toward a VHDL Verification Workbench in HOL. Formal Methods in System Design 7(1/2): 73-99 (1995)
[c2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tphol/Reetz95
- ask others
Ralf Reetz: Deep Embedding VHDL. TPHOLs 1995: 277-292
1994
[c1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tphol/ReetzK94
- ask others
Ralf Reetz, Thomas Kropf: Simplifying Deep Embedding: A Formalised Code Generator. TPHOLs 1994: 378-390

Coauthor Index

see FAQ

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