@PhDThesis{Zapreev_UT08,
	title={Model {C}hecking {M}arkov {C}hains: {T}echniques and {T}ools},
	author={
		I. S. Zapreev
	},
	school={University of Twente},
	year={2008},
	address = { Enschede, The Netherlands },
	supervisors = {Joost-Pieter Katoen},
	research_groups = {FMT: Formal Methods and Tools},
	research_programs = {MC=MC: Model-checking of infinite-state Markov chains},
	isbn = {978-90-8570-298-6},
	num_pages = {249}
}