View of An Extension of the Inverse Method to Probabilistic Timed Automata

Return to Article Details An Extension of the Inverse Method to Probabilistic Timed Automata Download Download PDF