A Set Automaton to Locate All Pattern Matches in a Term

von Erkens, Rick
Veröffentlicht in ICTAC (18. : 2021 : Online) Theoretical aspects of computing - ICTAC 2021 (2021)

Up-to Techniques for Branching Bisimilarity

von Erkens, Rick
Veröffentlicht in SOFSEM (46. : 2020 : Limassol) SOFSEM 2020 (2020)

Supporting the Development of Hybrid ERTMS/ETCS Level 3 with Formal Modelling, Analysis and Simulation

von Bartholomeus, Maarten
Veröffentlicht in International Symposium on Leveraging Applications of Formal Methods (10. : 2021 : Rhodos, Stadt) Leveraging applications of formal methods, verification and validation (2021)