Formalizační postupy v simulačním modelování - Kubalová, Denisa (2013)
Vedoucí práce: Jan Voráček