Efficient Modelling, Generation and Analysis of Markov Automata

University of Twente

Research output: Thesis › PhD Thesis - Research UT, graduation UT

597 Downloads (Pure)

2 results
- Title(descending)
- Award date

IPA Dissertation Award 2013
Timmer, M. (Recipient), 5 Nov 2014
Prize

File
Overijssel PhD Award 2014
Timmer, M. (Recipient), 28 Nov 2014
Prize

File