Ph.d.-forsvar: Mikkel Larsen Pedersen

In partial fulfillment of the terms for obtaining the Ph.D.-degree Mikkel Larsen Pedersen will give a lecture on the following subject:

Specification Theories for Probabilistic Systems

on Thursday 15th of December 2011, 13.00, in room 02.13 at Selma Lagerlöfs Vej 300

Abstract and invitation