Martin Schweikert

	2007
2		Martin Schickel, Martin Oberkönig, Martin Schweikert, Hans Eveking: A Case-Study in Property-Based Synthesis: Generating a Cache Controller from a Property-Set. FDL 2007: 291-292
1		Hans Eveking, Martin Braun, Martin Schickel, Martin Schweikert, Volker Nimbler: Multi-Level Assertion-Based Design. MEMOCODE 2007: 85-86

Coauthor Index

1	Hans Eveking	[1] [2]
2	Volker Nimbler	[1]
3	Martin Oberkönig (Martin Braun)	[1] [2]
4	Martin Schickel	[1] [2]