Legal full-text edition

Verifying Multi-Agent Systems via Unbounded Model Checking

Read now Internet Archive

Rights
Public-domain status shown for US. http://creativecommons.org/licenses/publicdomain/