Cited By
View all- Gordon CBergenti FCastegren EDe Koster JFranco J(2019)Modal assertions for actor correctnessProceedings of the 9th ACM SIGPLAN International Workshop on Programming Based on Actors, Agents, and Decentralized Control10.1145/3358499.3361221(11-20)Online publication date: 22-Oct-2019
- Steinhöfel DHähnle R(2019)The Trace ModalityDynamic Logic. New Trends and Applications10.1007/978-3-030-38808-9_8(124-140)Online publication date: 7-Oct-2019
- Kamburjan E(2019)Behavioral Program LogicAutomated Reasoning with Analytic Tableaux and Related Methods10.1007/978-3-030-29026-9_22(391-408)Online publication date: 3-Sep-2019
- Show More Cited By