Proceedings of the Workshop on Formal Verification of Telecommunication Systems : part I, Zagreb, November 5, 2004. : part II, Maribor, February 4, 2005. - Brezočnik, Zmago; Vlaovič, Boštjan; Meolic, Robert; Lovrek, Ignac; Ježić, Gordan; Kušek, Mario; Matijašević, Maja, inženjerka elektrotehnike; Pandžić, Igor S. (Faculty of Electrical Engineering and Computing, 2005)
Zastupljeni autori: Zmago Brezočnik, Boštjan Vlaovič, Robert Meolic, Ignac Lovrek, Gordan Ježić, Mario Kušek, Maja Matijašević, Igor Pandžić