Model Checking Knowledge and Time
Published in Lecture notes in computer science • Jan 1, 2002
NobleIDNI8P81W30R90S67
Authors:,
Wiebe van der Hoek
Michael Wooldridge
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!