Cited By
View all- Wright TDennis LWoodcock JFoster S(2024)Formal Verification of BDI AgentsThe Combined Power of Research, Education, and Dissemination10.1007/978-3-031-73887-6_20(302-326)Online publication date: 23-Oct-2024
- Ribeiro PYe KZeyda FMiyazawa A(2024)A Tour Through the Programming Choices: Semantics and ApplicationsThe Application of Formal Methods10.1007/978-3-031-67114-2_11(261-305)Online publication date: 1-Sep-2024
- Woodcock J(2024)Uncertainty and Probabilistic UTPThe Practice of Formal Methods10.1007/978-3-031-66673-5_10(184-205)Online publication date: 4-Sep-2024
- Show More Cited By