Tobias Kirsten

Publication Activity (10 Years)

Years Active: 2008-2008
Publications (10 Years): 0

Publications

Djones Lettnin, Pradeep Kumar Nalla, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel, Tobias Kirsten, Volker Schönknecht, Stephan Reitemeyer
Verification of Temporal Properties in Automotive Embedded Software. DATE (2008)