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

Uwe Proß

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

2008
2EEUwe Proß, Erik Markert, Jan Langer, Andreas Richter, Chris Drechsler, Ulrich Heinkel: A Platform for Requirement Based Formal Specification. FDL 2008: 237-238
1EEErik Markert, Uwe Proß, Ulrich Heinkel: SpecScribe Analog - A Specification Tool Extension for Heterogeneous Systems. FDL 2008: 243-244

Coauthor Index

1Chris Drechsler [2]
2Ulrich Heinkel [1] [2]
3Jan Langer [2]
4Erik Markert [1] [2]
5Andreas Richter [2]

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