Marc Segelken 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 keys2007
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarc Segelken: Abstraction and Counterexample-Guided Construction of omega -Automata for Model Checking of Step-Discrete Linear Hybrid Models. CAV 2007: 433-448
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWerner Damm, Alfred Mikschl, Jens Oehlerking, Ernst-Rüdiger Olderog, Jun Pang, André Platzer, Marc Segelken, Boris Wirtz: Automating Verification of Cooperation, Control, and Design in Traffic Applications. Formal Methods and Hybrid Real-Time Systems 2007: 115-169
2004
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEckard Böde, Werner Damm, Jarl Høyem, Bernhard Josko, Jürgen Niehaus, Marc Segelken: Adding Value to Automotive Models. ASWSD 2004: 86-102
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

1Eckard Böde [2]
2Werner Damm [1] [2] [3]
3Michael Eckrich [1]
4Uwe Higgen [1]
5Jarl Høyem [2]
6Bernhard Josko [2]
7Alfred Mikschl [3]
8Jürgen Niehaus [2]
9Jens Oehlerking [3]
10Ernst-Rüdiger Olderog [3]
11Jun Pang [3]
12André Platzer [3]
13Christoph Schulte [1]
14Boris Wirtz [3]
15Hartmut Wittke [1]

Copyright © Fri Mar 12 12:56:28 2010 by Michael Ley (ley@uni-trier.de)