Christoph Schulte Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2004
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRalf 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
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWerner 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 © Fri Mar 12 12:56:28 2010 by Michael Ley (ley@uni-trier.de)