Home | Sitemap | Index | Contact | Legals | KIT

Quovadis

Monday, 03 May 2010

First International workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems