Du måste aktivera JavaScript för att få tillgång till den här sidan.
Översikt
Quiz
Quiz: Temporal Logic
Hoppa över till innehåll
Översikt
Logga in
Översikt
Kalender
Inkorg
Historik
Hjälp
Stäng
Min översikt
Quiz
Quiz: Temporal Logic
Startsida
Uppgifter
Moduler
Quiz: Temporal Logic
Sista inlämningsdatum
Inget inlämningsdatum
Poäng
3
Frågor
3
Tidsgräns
Ingen
Tillåtna försök
Obegränsad
Instruktioner
ltl-ex1.svg
ctl-example.svg
ctl-ex-1.svg
Check which properties hold in the following cases.
Ta quizzet