Now showing items 1-3 of 1

    Agent Theories and Models (1)
    Model-checking (1)
    Verification of Multi- Agent Systems (1)