in FORMAL TECHNIQUES FOR DISTRIBUTED OBJECTS, COMPONENTS, AND SYSTEMS, FORTE 2023 in Lecture Notes in Computer Science, ISSN: 0302-9743
Volume: 13910, Pages: 3-20 (18)
Conference
43Rd International Conference on Formal Techniques for Distributed Objects, Components and Systems (Forte), Date: JUN 19-23, 2023, Location: Lisbon, PORTUGAL