Login / Signup

Verifying social expectations by model checking truncated paths.

Stephen CranefieldMichael Winikoff
Published in: J. Log. Comput. (2011)
Keyphrases