|
Search the dblp DataBase
Dietmar Wolz:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Dietmar Wolz
Compilation of Algebraic Specifications and Term Rewriting Systems. [Citation Graph (0, 0)][DBLP] ADT, 1988, pp:- [Conf]
- Dietmar Wolz
Design of a Compiler for Lazy Pattern Driven Narrowing. [Citation Graph (0, 0)][DBLP] ADT, 1990, pp:362-379 [Conf]
- Dietmar Wolz
Tool Design for Structuring Mechanisms for Algebraic Specification Languages with Initial Semantics. [Citation Graph (0, 0)][DBLP] COMPASS/ADT, 1995, pp:536-550 [Conf]
- Henk Eertink, Dietmar Wolz
Symbolic execution of LOTOS specifications. [Citation Graph (0, 0)][DBLP] FORTE, 1992, pp:295-310 [Conf]
- Dietmar Wolz, Paul Boehm
Compilation of LOTOS Data Type Specifications. [Citation Graph (0, 0)][DBLP] PSTV, 1989, pp:187-202 [Conf]
Search in 0.001secs, Finished in 0.002secs
|