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

Steffen Prochnow

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

2007
4 Steffen Prochnow, Reinhard von Hanxleden: The Use of Complex Stateflow-Charts with KIEL - An Automotive Case Study. GI Jahrestagung (2) 2007: 564-
3EESteffen Prochnow, Reinhard von Hanxleden: Statechart Development Beyond WYSIWYG. MoDELS 2007: 635-649
2006
2EESteffen Prochnow, Reinhard von Hanxleden: Comfortable modeling of complex reactive systems. DATE 2006: 577-578
1EESteffen Prochnow, Claus Traulsen, Reinhard von Hanxleden: Synthesizing safe state machines from Esterel. LCTES 2006: 113-124

Coauthor Index

1Reinhard von Hanxleden [1] [2] [3] [4]
2Claus Traulsen [1]

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