Author:
Henzinger Thomas A.,Kopke Peter W.,Wong-Toi Howard
Publisher
Springer Berlin Heidelberg
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Model Checking Real-Time Systems;Handbook of Model Checking;2018
2. What’s Decidable About Parametric Timed Automata?;Communications in Computer and Information Science;2016
3. Are Timed Automata Bad for a Specification Language? Language Inclusion Checking for Timed Automata;Tools and Algorithms for the Construction and Analysis of Systems;2014
4. A Logical Characterization of Timed (non-)Regular Languages;Mathematical Foundations of Computer Science 2014;2014
5. Hybrid MARTE statecharts;Frontiers of Computer Science;2013-01-09