Originalsprog | Engelsk |
---|---|
Titel | Proceedings of PROBMIV'99, Probabilistic Methods in Verification |
Publikationsdato | 1999 |
Status | Udgivet - 1999 |
Begivenhed | Validation of Continuous-Time Markov Systems - Varighed: 19 maj 2010 → … |
Konference
Konference | Validation of Continuous-Time Markov Systems |
---|---|
Periode | 19/05/2010 → … |