Sven Twarok

According to our database, Sven Twarok authored at least 2 papers between 1998 and 2001.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2001

Automated Derivation of ILP Implementations from SDL Specifications.

Sven Twarok, Peter Langendörfer, Hartmut König

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2001

1998

Eine SDL-Laufzeitumgebung zur Unterstützung unterschiedlicher Implementationsstrategien.

Peter Langendörfer, Thomas Krüger, Sven Twarok

Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 1998