• 222 Citations
  • 9 h-Index
20052019

Research output per year

If you made any changes in Pure these will be visible here soon.

Research Output

Filter
PhD Thesis - Research UT, graduation UT
2013

Efficient Modelling, Generation and Analysis of Markov Automata

Timmer, M., 13 Sep 2013, Enschede: Centre for Telematics and Information Technology (CTIT). 340 p.

Research output: ThesisPhD Thesis - Research UT, graduation UT

File
293 Downloads (Pure)