A knowledge-theoretic semantics for concurrent MetateM

Author(s):  
Michael Wooldridge
Sign in / Sign up

Export Citation Format

Share Document