@inproceedings {molnar_majzik_minisy16,
	title = {Evaluation of Fault Tolerance Mechanisms with Model Checking},
	booktitle = {Proceedings of the 23rd PhD Mini-Symposium},
	year = {2016},
	pages = {30{\textendash}33},
	address = {Budapest, Hungary},
	isbn = {978-963-313-220-3},
	author = {Vince Moln{\'a}r and Istv{\'a}n Majzik},
	editor = {Pataki, B{\'e}la}
}
