
		Lehrstuhl für Informatik 12



		SpecVer

		SpecVer Intern Workshops Publikationen Kontakt

	Department Informatik > Informatik 12 > Forschung > SpecVer

SpecVer - Kontakt

	Dr. Reynaldo Zavala rzavala[at]lucent.com Lucent Technologies Network Systems GmbH, D-90411 Nürnberg
	Gerhard Steininger gerhard.steininger[at]prostep.com ProStep IMP, D-80807 München
	Dr. Steffen Rülke ruelke[at]eas.iis.fraunhofer.de Fraunhofer-Institut für Integrierte Schaltungen Außenstelle Entwurfsautomatisierung Dresden, D-01069 Dresden
	Dr. Christian Haubelt haubelt[at]cs.fau.de Universität Erlangen-Nürnberg, D-91058 Erlangen
	Dr.-Ing. Thorsten Kölzow thorsten.koelzow[at]audi.de Audi Electronics Venture GmbH, D-85080 Gaimersheim
	Prof. Dr. Ulrich Heinkel ulrich.heinkel[at]etit.tu-chmnitz.de TU Chemnitz, D-09107 Chemnitz