Patrick Jayet

	2007
2		Ansgar Fehnker, Ralf Huuck, Patrick Jayet, Michel Lussenburg, Felix Rauch: Model Checking Software at Compile Time. TASE 2007: 45-56
	2006
1		Ansgar Fehnker, Ralf Huuck, Patrick Jayet, Michel Lussenburg, Felix Rauch: Goanna - A Static Model Checker. FMICS/PDMC 2006: 297-300

Coauthor Index

1	Ansgar Fehnker	[1] [2]
2	Ralf Huuck	[1] [2]
3	Michel Lussenburg	[1] [2]
4	Felix Rauch	[1] [2]