Formal Modeling and Analysis of Timed Systems More Books by Catalin Dima & Mahsa Shirmohammadi

PRIMA 2025: Principles and Practice of Multi-Agent Systems

2025