Formalni model specifikacije pokretnih telekomunikacijskih agenata : magistarski rad - Bagić, Marina (M. Bagić ; Fakultet elektrotehnike i računarstva, 2004)