Validation of Continuous-Time Markov Systems

Kim Guldstrand Larsen, C. Baier, E. Brinksma

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

Original language	English
Title of host publication	Proceedings of PROBMIV'99, Probabilistic Methods in Verification
Publication date	1999
Publication status	Published - 1999
Event	Validation of Continuous-Time Markov Systems - Duration: 19 May 2010 → …

Conference	Validation of Continuous-Time Markov Systems
Period	19/05/2010 → …

AUB Link

@inproceedings{16b9b6e09c2e11db8ed6000ea68e967b,

title = "Validation of Continuous-Time Markov Systems",

author = "Larsen, {Kim Guldstrand} and C. Baier and E. Brinksma",

year = "1999",

language = "English",

booktitle = "Proceedings of PROBMIV'99, Probabilistic Methods in Verification",

note = "Validation of Continuous-Time Markov Systems ; Conference date: 19-05-2010",

}