Showing 1 - 5 results of 5 for search 'Olderog, Ernst-Rudiger', query time: 0.02s Refine Results
  1. 1
    Verification of Sequential and Concurrent Programs
    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: “…Olderog, Ernst-Rüdiger…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    Correct System Design Recent Insights and Advances /
    Published 1999
    Other Authors: “…Olderog, Ernst-Rüdiger…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    Provably Correct Systems
    Published 2017
    Other Authors: “…Olderog, Ernst-Rüdiger…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 5
    Concurrent systems:semantics, specification, and synthesis Dagstuhl-Seminar-Report; 9 11.3.1991-15.3.1991(9111)
    Other Authors: “…Olderog, Ernst-Rudiger…”
    Book
Search Tools: RSS Feed – Email Search