diplomski rad
Linearna temporalna logika

Krešimir Burić (2014)
Sveučilište u Zagrebu
Prirodoslovno-matematički fakultet
Matematički odsjek