Search the dblp DataBase

Publications of Author

1. Dennis Dams, Rob Gerth, Gert Döhmen, Ronald Herrmann, Peter Kelb, Hergen Pargmann
   Model Checking Using Adaptive State and Data Abstraction. [Citation Graph (0, 0)][DBLP]
   CAV, 1994, pp:455-467 [Conf]
   
2. Werner Damm, Gert Döhmen
   An Axiomatic Approach to the Specification of Distributed Computer Architectures. [Citation Graph (0, 0)][DBLP]
   PARLE (1), 1987, pp:103-120 [Conf]
   
3. Werner Damm, Gert Döhmen, Volker Gerstner, Bernhard Josko
   Modular Verification of Petri Nets: The Temporal Logic Approach. [Citation Graph (0, 0)][DBLP]
   REX Workshop, 1989, pp:180-207 [Conf]
   
4. Gert Döhmen, Ronald Herrmann, Hergen Pargmann
   Translating VHDL into Functional Symbolic Finite-State Models. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 1995, v:7, n:1/2, pp:125-148 [Journal]
   
5. Werner Damm, Gert Döhmen
   Specifying distributed computer architectures in AADL. [Citation Graph (0, 0)][DBLP]
   Parallel Computing, 1989, v:9, n:2, pp:193-211 [Journal]
   
6. 
   Petri nets as intermediate representation between VHDL and symbolic transition systems. [Citation Graph (, )][DBLP]
   
   
7. 
   Complete and Virtual System Models for System Development. [Citation Graph (, )][DBLP]