@inproceedings {333,
	title = {Model Checking of Replication Management},
	booktitle = {Supplement of the EDCC-4 Conference - Fast Abstracts.  Fourth European Dependable Computing Conference},
	year = {2002},
	month = {2002},
	pages = {7 - 8},
	publisher = {LAAS-CNRS},
	organization = {LAAS-CNRS},
	url = {http://mycite.omikk.bme.hu/doc/16339.pdf},
	author = {Istv{\'a}n Majzik and {\'A}d{\'a}m Darvas},
	editor = {Felicita Di Giandomenico}
}
