dblp.uni-trier.dewww.uni-trier.de

Christoph Schulte

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2004
2EERalf Buschermöhle, Mark Brörkens, Ingo Brückner, Werner Damm, Wilhelm Hasselbring, Bernhard Josko, Christoph Schulte, Thomas Wolf: Model Checking (Grundlagen und Praxiserfahrungen). Informatik Spektrum 27(2): 146-158 (2004)
2003
1 Werner Damm, Christoph Schulte, Hartmut Wittke, Marc Segelken, Uwe Higgen, Michael Eckrich: Formale Verifikation von ASCET Modellen im Rahmen der Entwicklung der Aktivlenkung. GI Jahrestagung (1) 2003: 340-344

Coauthor Index

1Mark Brörkens [2]
2Ingo Brückner [2]
3Ralf Buschermöhle [2]
4Werner Damm [1] [2]
5Michael Eckrich [1]
6Wilhelm Hasselbring [2]
7Uwe Higgen [1]
8Bernhard Josko [2]
9Marc Segelken [1]
10Hartmut Wittke [1]
11Thomas Wolf [2]

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