PhD.-defense by Claus Rørbæk Thrane

In partial fulfillment of the terms for obtaining the Ph.D.-degree, Claus Thrane will give a lecture on the following subject:


Quantitative Models and Analysis for Reactive Systems

on Friday 18th of November 2011, 13.00, in room 0.2.13 at Selma Lagerlöfs Vej 300


Abstract and invitation