Efficient Modelling, Generation and Analysis of Markov Automata

Research output: ThesisPhD Thesis - Research UT, graduation UT

290 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Efficient Modelling, Generation and Analysis of Markov Automata'. Together they form a unique fingerprint.

Engineering & Materials Science