Wolfgang Rössel

According to our database, Wolfgang Rössel authored at least 1 paper in 2013.

Collaborative distances:

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

2013

Einsatz formaler Methoden zur Energieeinsparung.

Thomas Horn, Matthias Sauppe, Erik Markert, Ulrich Heinkel, Wolfgang Rössel, Hans-Werner Sahm

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2013