View of Model Checking via Reachability Testing for Timed Automata

Return to Article Details Model Checking via Reachability Testing for Timed Automata Download Download PDF