Detlef Kreuz

According to our database¹, Detlef Kreuz authored at least 3 papers between 1992 and 1999.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

1999

Formale Semantik von Konnektoren.

[BibT_eX]

[DOI]

PhD thesis, 1999

1998

Formal Specification of CORBA Services Using Object-Z.

[BibT_eX]

[DOI]

Proceedings of the Second IEEE International Conference on Formal Engineering Methods, 1998

1992

A Compiler for the Parallel Execution of Estelle Specification.

[BibT_eX]

Proceedings of the Formale Methoden für verteilte Systeme, 1992