View of Checking parallel real-time systems for temporal duration properties by linear programming

Return to Article Details Checking parallel real-time systems for temporal duration properties by linear programming Download Download PDF