01.12.11 13:22 Alder: 172 dage

PhD-defence by 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

 

Tilbage til nyhedslisten