Published in: 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020 ; (Jan. 2021)

Published in: Fundamentals of Software Engineering (2015), Seite 127-142

Published in: ACM Transactions on Computational Logic, 25 (2024) 1, Seite 1-60

Published in: Formal Methods for Industrial Critical Systems (2022), Seite 86-102

Published in: Formal Techniques for Distributed Objects, Components, and Systems (2021), Seite 226-243

Published in: Lecture Notes in Computer Science (2024), Seite 150-167

Published in: Acta Informatica, 55 (2018) 5, Seite 401-444

Published in: Automated Technology for Verification and Analysis (2014), Seite 219-234

Published in: Theoretical Aspects of Computing – ICTAC 2012 (2012), Seite 198-212

Published in: Hardware and Software: Verification and Testing (2011), Seite 102-116

Published in: Lecture Notes in Computer Science (2011), Seite 207-221

Published in: Theoretical Aspects of Computing – ICTAC 2023 (2023), Seite 399-416

Published in: Fundamentals of Software Engineering (2021), Seite 127-141

Published in: ACM Computing Surveys, 50 (2018) 3, Seite 1-8

Published in: ACM Transactions on Computational Logic, 13 (2012) 1, Seite 1-35

Published in: ACM Transactions on Computational Logic, 18 (2017) 2, Seite 1-34

Published in: Rigorous State-Based Methods (2024), Seite 341-359

Published in: Logical Methods in Computer Science (2017)

Published in: Formal Techniques for Distributed Objects, Components, and Systems (2016), Seite 142-157

Published in: Tools and Algorithms for the Construction and Analysis of Systems (2020), Seite 3-20