Projects per year
Original language | English |
---|---|
Publication date | 2012 |
Publication status | Published - 2012 |
Event | IEEE: LICS - Dubrovnik, Croatia Duration: 25 Jun 2012 → 28 Jun 2012 |
Conference
Conference | IEEE |
---|---|
Country/Territory | Croatia |
City | Dubrovnik |
Period | 25/06/2012 → 28/06/2012 |
Projects
- 1 Finished
-
Modular Markovian Logics for Analysis of Stochastic Concurrent Systems
Mardare, R. (Project Participant)
01/10/2010 → 30/09/2012
Project: Research