View of Backward Reachability Analysis for Timed Automata with Data Variables

Return to Article Details Backward Reachability Analysis for Timed Automata with Data Variables Download Download PDF