Affiliation:
1. University of Oslo
2. RWTH Aachen University
Publisher
Open Publishing Association
Reference17 articles.
1. Lecture Notes in Computer Science;M. Clavel,2007
2. HYTECH: A Model Checker for Hybrid Systems;T.A. Henzinger,1997
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. The Application of Continuous Time SRML;Proceedings of the 2020 International Conference on Internet Computing for Science and Engineering;2020-01-14
2. Rewriting logic bibliography by topic: 1990–2011;The Journal of Logic and Algebraic Programming;2012-10
3. Formal Modeling and Analysis of Human Body Exposure to Extreme Heat in HI-Maude;Rewriting Logic and Its Applications;2012
4. Object-Oriented Formal Modeling and Analysis of Interacting Hybrid Systems in HI-Maude;Software Engineering and Formal Methods;2011