Author:
Behrmann Gerd,Bouyer Patricia,Larsen Kim G.,Pelánek Radek
Publisher
Springer Science and Business Media LLC
Subject
Information Systems,Software
Cited by
65 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Parameterized Verification of Disjunctive Timed Networks;Lecture Notes in Computer Science;2023-12-30
2. An Efficient State Space Construction for a Class of Timed Automata;Transactions on Petri Nets and Other Models of Concurrency XVII;2023-11-01
3. Timed Automata Verification and Synthesis via Finite Automata Learning;Tools and Algorithms for the Construction and Analysis of Systems;2023
4. Dynamic Extrapolation in Extended Timed Automata;Formal Methods and Software Engineering;2023
5. Reachability in timed automata;ACM SIGLOG News;2022-07