Sven Twarok

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2001

2 Sven Twarok, Peter Langendörfer, Hartmut König: Automated Derivation of ILP Implementations from SDL Specifications. FORTE 2001: 3-18

1998

1 Peter Langendörfer, Thomas Krüger, Sven Twarok: Eine SDL-Laufzeitumgebung zur Unterstützung unterschiedlicher Implementationsstrategien. FBT 1998: 245-254

	2001
2		Sven Twarok, Peter Langendörfer, Hartmut König: Automated Derivation of ILP Implementations from SDL Specifications. FORTE 2001: 3-18
	1998
1		Peter Langendörfer, Thomas Krüger, Sven Twarok: Eine SDL-Laufzeitumgebung zur Unterstützung unterschiedlicher Implementationsstrategien. FBT 1998: 245-254

Coauthor Index

1	Hartmut König	[2]
2	Thomas Krüger	[1]
3	Peter Langendörfer (Peter Langendoerfer)	[1] [2]