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 for search 'Joost-Pieter Katoen', query time: 0.01s Refine Results
  1. 1
    Principles of Model Checking
    by Chistel Baier, Joost-Pieter Katoen
    Published 2008
    Text
    Save to List
    Saved in:
Search Tools: Get RSS Feed — Email this Search