Thomas A. Henzinger

Posted by on Saturday, January 28, 2012 · Leave a Comment 

Formal Specification and Verification of Markovian Population Models

DATE:Wednesday, January 25, 2012

At the Symposium »Logic and Algorithms: A Scientific Perspective« for the official opening of VCLA.

Filed under Talks · Tagged with

Comments are closed.