Thomas Tuerk

	2009
4		Thomas Tuerk: A Formalisation of Smallfoot in HOL. TPHOLs 2009: 469-484
	2006
3		Thomas Tuerk, Klaus Schneider, Mike Gordon: Model Checking PSL Using HOL and SMV. Haifa Verification Conference 2006: 1-15
	2005
2		Klaus Schneider, Jens Brandt, Tobias Schüle, Thomas Tuerk: Maximal Causality Analysis. ACSD 2005: 106-115
1		Thomas Tuerk, Klaus Schneider: From PSL to LTL: A Formal Validation in HOL. TPHOLs 2005: 342-357

Coauthor Index

1	Jens Brandt	[2]
2	Mike Gordon	[3]
3	Klaus Schneider	[1] [2] [3]
4	Tobias Schüle	[2]