Login / Signup
Verifying one hundred prisoners and a lightbulb.
Hans van Ditmarsch
Jan van Eijck
William Wu
Published in:
J. Appl. Non Class. Logics (2010)
Keyphrases
</>
model checking
web services