학술논문

Modeling, verification, and strategic reasoning in multi-agent systems
Document Type
Text
Source
Subject
Computer Science
multi-agent systems
modal logic
verification
Informatik
Language
English
Abstract
Zugl.: Clausthal-Zellerfeld, Techn. Univ., Habil.-Schr., 2009
Tensile: Clausthal-Zellerfeld, Techn. Univ., Habil.-Schr., 2009