Thomas Neustupny

	1998
2		Maritta Heisel, Rainer Mackenthun, Thomas Neustupny, Sadegh Sadeghipour, Matthias Weber: Tutorium: Entwicklung sicherheitskritischer eingebetteter Systeme: Der ESPRESS-Ansatz. GI Jahrestagung 1998: 401-403
	1997
1		Steffen Helke, Thomas Neustupny, Thomas Santen: Automating Test Case Generation from Z Specifications with Isabelle. ZUM 1997: 52-71

Coauthor Index

1	Maritta Heisel	[2]
2	Steffen Helke	[1]
3	Rainer Mackenthun	[2]
4	Sadegh Sadeghipour	[2]
5	Thomas Santen	[1]
6	Matthias Weber	[2]

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page