Formale Semantik modularer Zeitverfeinerung in AutoFocus

David Trachtenherz. Formale Semantik modularer Zeitverfeinerung in AutoFocus. In Gregor Engels, Markus Luckey, Wilhelm Schäfer, editors, Software Engineering 2010 - Fachtagung des GI-Fachbereichs Softwaretechnik, 22.-26.2.2010 in Paderborn. Volume 159 of LNI, pages 141-152, GI, 2010.

Authors

David Trachtenherz

This author has not been identified. Look up 'David Trachtenherz' in Google