• Možnosti formalizace modelování procesů 

      Autor: Hrabák Marek; Vedoucí práce: Náplava Pavel; Oponent práce: Hronza Radek
      (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2013-06-11)