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

Nanette Bauer

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

2004
3EENanette Bauer, Ralf Huuck, Ben Lukoschus, Sebastian Engell: A Unifying Semantics for Sequential Function Charts. SoftSpez Final Report 2004: 400-418
2EENanette Bauer, Sebastian Engell, Ralf Huuck, Sven Lohmann, Ben Lukoschus, Manuel Remelhe, Olaf Stursberg: Verification of PLC Programs Given as Sequential Function Charts. SoftSpez Final Report 2004: 517-540
2001
1EENanette Bauer, Ralf Huuck: Towards Automatic Verification of Embedded Control Software. APAQS 2001: 375-386

Coauthor Index

1Sebastian Engell [2] [3]
2Ralf Huuck [1] [2] [3]
3Sven Lohmann [2]
4Ben Lukoschus [2] [3]
5Manuel Remelhe [2]
6Olaf Stursberg [2]

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