Model Checking: Historical Perspective and Example (Extended Abstract).

Edmund M. Clarke, Sergey Berezin

Browse the full TABLEAUX paper archive.