B
Find Any Book
Find
Discover
History
Saved
← Back
Save
Source ↗
Random
Same subject
Same author
Same period
Similar
Fiction
Poetry
Philosophy
History
Short read
Edition ↻
Hop →
Verifying Multi-Agent Systems via Unbounded Model Checking
M. Kacprzak, A. Lomuscio, T. Lasica, W. Penczek, M Szreter · 2004 · Rights: US