By Alexandre Miguel dos Santos Martins Pinto
Universidade Nova de Lisboa
Portugal
Category: Doctoral dissertations
Modelling and analysis of real time systems with Logic Programming and Constraints
Gourinath Banda, Roskilde University, Denmark
Logic and Abstraction, Verification and Falsification
Jan-Georg Smaus
Albert-Ludwigs-Universit¨at Freiburg, Germany