581255
Aikalogiikka ja järjestelmien verifiointi
Temporal logik och verifiering av system
Temporal logic and verification
Toistuminen
Ei tarjota
Tulevat erilliskokeet
Ei kokeita.
Kurssisivut
Ei kursseja.