Time-Progress Evaluation for Dense-Time Automata with Concave Path Conditions.

FARN WANG2020-06-042020-06-042008https://scholars.lib.ntu.edu.tw/handle/123456789/497128[SDGs]SDG11Time-Progress Evaluation for Dense-Time Automata with Concave Path Conditions.conference paper10.1007/978-3-540-88387-6_24https://doi.org/10.1007/978-3-540-88387-6_24