Preskoči na sadržaj
Moj profil Upisi

diplomski rad (sveučilišni) · 2025

Algoritmi za provjere modela u linearnoj temporalnoj logici

Tin Perkov