Catalin Dima Books

PRIMA 2025: Principles and Practice of Multi-Agent Systems

Formal Modeling and Analysis of Timed Systems