DMCA

Model Checking Knowledge and Time (2002)

Cached

Download Links

by Wiebe Van Der Hoek , Michael Wooldridge
Venue:Model Checking Software, Proceedings of SPIN 2002 (LNCS Volume 2318
Citations:58 - 12 self