Cited By
View all- Uhrmacher AFrazier PHähnle RKlügl FLorig FLudäscher BNenzi LRuiz-Martin CRumpe BSzabo CWainer GWilsdorf P(2024)Context, Composition, Automation, and Communication: The C2AC Roadmap for Modeling and SimulationACM Transactions on Modeling and Computer Simulation10.1145/367322634:4(1-51)Online publication date: 13-Aug-2024
- Kamburjan EScaletta MRollshausen N(2023)Deductive verification of active objects with Crowbar▪Science of Computer Programming10.1016/j.scico.2023.102928226:COnline publication date: 1-Mar-2023
- Schlatte RBroch Johnsen EKamburjan ETapia Tarifa S(2022)The ABS simulator toolchainScience of Computer Programming10.1016/j.scico.2022.102861223:COnline publication date: 1-Nov-2022
- Show More Cited By