Stefan Heinkel

According to our database, Stefan Heinkel authored at least 1 paper in 1995.

Collaborative distances:

• no known Dijkstra number.
• no known Erdős number.

1995

SDL.

Stefan Heinkel, Thomas Lindner

Proceedings of the Formal Development of Reactive Systems - Case Study Production Cell, 1995