Michael Gerke

List of publications from the DBLP Bibliography Server - FAQ

other persons with the same name:

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

1EESven Beyer, Peter Böhm, Michael Gerke, Mark A. Hillebrand, Thomas In der Rieden, Steffen Knapp, Dirk Leinenbach, Wolfgang J. Paul: Towards the Formal Verification of Lower System Layers in Automotive Systems. ICCD 2005: 317-326

Coauthor Index

1Sven Beyer [1]
2Peter Böhm [1]
3Mark A. Hillebrand [1]
4Steffen Knapp [1]
5Dirk Leinenbach [1]
6Wolfgang J. Paul [1]
7Thomas In der Rieden [1]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)