We will be undergoing system maintenance on May 16th, 2024 from 2 am through 6 am central time. The system will be unavailable during that time. Please plan accordingly.
Helmut Veith
Helmut Veith was a Professor on the Faculty of Informatics at Vienna University of Technology (TU Vienna).
Books
Model Checking, 2e
9780262038836
