文章基本信息
- 标题：The Power of Reachability Testing for Timed Automata
- 本地全文：下载
- 作者：Luca Aceto ; Patricia Bouyer ; Augusto Burgueno 等
- 期刊名称：BRICS Report Series
- 印刷版ISSN：0909-0878
- 出版年度：1998
- 卷号：5
- 期号：48
- 出版社：Aarhus University
- 摘要：In this paper we provide a complete characterization of the class of properties of (networks of) timed automata for which model checking can be reduced to reachability checking in the context of testing automata.
