Report copyright - Temporale Logik - fmv.jku.atfmv.jku.at/fg3/tl-slides.pdf · unare¨ temporale Pfad-Operatoren X, F, G und ein binarer¨ temporaler Pfad-Operator U. Pfad-Operatoren mussen einen Pfad-Quantor¨
Please pass captcha verification before submit form