Search Results - Katoen, Joost-Pieter

Joost-Pieter Katoen

Joost-Pieter Katoen in [[Logic Lane]], [[Oxford]] Joost-Pieter Katoen (born October 6, 1964) is a Dutch theoretical computer scientist based in Germany. He is distinguished professor in Computer Science and head of the Software Modeling and Verification Group at RWTH Aachen University. Furthermore, he is part-time associated to the Formal Methods & Tools group at the University of Twente. Provided by Wikipedia
  • Showing 1 - 1 results of 1
Refine Results
  1. 1
    Lectures on formal methods and performance analysis revised lectures/first EEF summer school on trends in computer science, July 3 - 7, 2000

    Lectures on formal methods and performance analysis revised lectures/first EEF summer school on trends in computer science, July 3 - 7, 2000

    Published 2001
    Other Authors:
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:

Search Tools: