Time-Progress Evaluation for Dense-Time Automata with Concave Path Conditions.
Journal
Automated Technology for Verification and Analysis, 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings
Pages
258-273
Date Issued
2008
Author(s)
SDGs
Type
conference paper