master's thesis
Linearna temporalna logika

Krešimir Burić (2014)
University of Zagreb
Faculty of Science
Department of Mathematics