by Dudenhefner, Andrej
Published in Logical methods in computer science (08.12.2023)

by Andrej Dudenhefner, Moritz Martens, Jakob Rehof
Published in Logical methods in computer science (15.08.2017)

by Jan Bessai, Tzu-Chun Chen, Andrej Dudenhefner, Boris Düdder, Ugo de'Liguoro, Jakob Rehof
Published in Logical methods in computer science (27.02.2018)

by Dudenhefner, Andrej
Published in arXiv.org (07.12.2023)

by Bessai, Jan, Düdder, Boris, Dudenhefner, Andrej, Chen, Tzu-Chun, de'Liguoro, Ugo
Published in Electronic proceedings in theoretical computer science (17.03.2015)

by Dudenhefner, Andrej
Published in 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (29.06.2021)

by Dudenhefner, Andrej, Rehof, Jakob
Published in Fundamenta informaticae (01.01.2019)

by Dudenhefner, Andrej, Rehof, Jakob
Published in Proceedings of ACM on programming languages (01.01.2019)

by Dudenhefner, Andrej, Rehof, Jakob
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (01.06.2017)

by Bessai, Jan, Dudenhefner, Andrej, Düdder, Boris, Martens, Moritz, Rehof, Jakob
Published in Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques

by Bessai, Jan, Dudenhefner, Andrej, Düdder, Boris, Martens, Moritz, Rehof, Jakob
Published in Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change

by Dudenhefner, Andrej, Rehof, Jakob
Year of Publication 17.05.2017

by Dudenhefner, Andrej, Martens, Moritz, Rehof, Jakob
Published in arXiv.org (14.08.2017)

by Dudenhefner, Andrej, Rehof, Jakob
Published in arXiv.org (21.08.2017)

by Bessai, Jan, Chen, Tzu-Chun, Dudenhefner, Andrej, Düdder, Boris, de'Liguoro, Ugo, Rehof, Jakob
Published in arXiv.org (26.02.2018)

by Bessai, Jan, Düdder, Boris, Dudenhefner, Andrej, Chen, Tzu-Chun, de'Liguoro, Ugo
Published in arXiv.org (17.03.2015)