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

Thomas Pressburger (Selection)

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

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJon Whittle, Jeffrey Van Baalen, Johann Schumann, Peter Robinson, Thomas Pressburger, John Penix, Phil Oh, Michael R. Lowry, Guillaume P. Brat: Amphion/NAV: Deductive Synthesis of State Estimation Software. ASE 2001: 395-399
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeffrey Van Baalen, Peter Robinson, Michael R. Lowry, Thomas Pressburger: Explaining Synthesized Software. ASE 1998: 240-248

Selection of 2 from 11 records - Thomas Pressburger has 20 coauthors

Copyright © 2009-12-01 by Michael Ley (ley@uni-trier.de)