Cited By
View all- Bruse F(2025)Space-Efficient Model-Checking of Higher-Order Recursion SchemesVerification, Model Checking, and Abstract Interpretation10.1007/978-3-031-82700-6_2(29-51)Online publication date: 20-Jan-2025
- Merniz SHarous S(2021)Modelling and verification of parameterized architectures: A functional approachIET Computers & Digital Techniques10.1049/cdt2.1202415:5(335-348)Online publication date: 22-Mar-2021
- Kobayashi NKomendantskaya E(2019)10 Years of the Higher-Order Model Checking Project (Extended Abstract)Proceedings of the 21st International Symposium on Principles and Practice of Declarative Programming10.1145/3354166.3354167(1-2)Online publication date: 7-Oct-2019
- Show More Cited By