@misc{Grondys_Kamil_Verifying_2006,
 author={Grondys, Kamil and Kurkowski, Mirosław and Sowik, Anna and Szczypior, Izabela},
 type={artykuł},
 publisher={Wydawnictwo Akademii im. Jana Długosza w Częstochowie},
 title={Verifying Untimed Version of the WMF Protocol Using Networks of Automata},
 address={Częstochowa},
 year={2006},
 language={eng},
 keywords={materiały konferencyjne},
}