03.11.11 12:35 Alder: 200 dage

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

Quantitative Models and Analysis for Reachtive Systems


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