Proving Correctness of Labled Transition Systems by Semantic Tableaux.

Wolfgang May

Browse the full TABLEAUX paper archive.