Showing 1 - 4 results of 4 for search 'Damm, Werner', query time: 0.02s Refine Results
  1. 1
    Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings /
    Published 2007
    Other Authors: “…Damm, Werner…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Formal Techniques in Real-Time and Fault-Tolerant Systems 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002. Proceedings /
    Published 2002
    Other Authors: “…Damm, Werner…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    Functional languages:compiler technology and parallelism Dagsstuhl-Seminar-Report; 36 23.27.3.92(9213)
    Other Authors: “…Damm, Werner…”
    Book
  4. 4
    Integration of Software Specification Techniques for Applications in Engineering Priority Program SoftSpez of the German Research Foundation (DFG), Final Report /
    Published 2004
    Other Authors: “…Damm, Werner…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search