Report copyright - Verification and TCTL Model Checking of Real-Time Systems on … · 2020. 5. 23. · RX Setofallvaluations TA TimedAutomata disc-pred(e;S) Thesetofalle-predecessorsofstatesinS time-pred(S)
Please pass captcha verification before submit form