@thesis{Zaytsev-Thesis2003,
	type = "Master's thesis",
	author = "Vadim Zaytsev",
	title = "{Modelling and Model Checking of Distributed Systems}",
	year = 2003,
	month = jun,
	school = "{Rostov State University}",
	address = "Rostov-on-Don, Russia",
	note = "In Russian",
}