Authors

B.R.M. Gattinger

Date (dd-mm-yyyy)

2016-05

Title

A Model Checker for the Hardest Logic Puzzle Ever Ever

Publication Year

2016-05

Document type

Abstract

Permalink

https://hdl.handle.net/11245.1/13a5cb9d-9e11-4e05-ad26-0e384ea90763