Projekter pr. år
Originalsprog | Engelsk |
---|---|
Publikationsdato | 2012 |
Status | Udgivet - 2012 |
Begivenhed | IEEE: LICS - Dubrovnik, Kroatien Varighed: 25 jun. 2012 → 28 jun. 2012 |
Konference
Konference | IEEE |
---|---|
Land/Område | Kroatien |
By | Dubrovnik |
Periode | 25/06/2012 → 28/06/2012 |
Projekter
- 1 Afsluttet
-
Modular Markovian Logics for Analysis of Stochastic Concurrent Systems
Mardare, R. (Projektdeltager)
01/10/2010 → 30/09/2012
Projekter: Projekt › Forskning