direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Page Content

Publications

VATES: Verifying the Core of a Flying Sensor
Citation key glesner07vates:
Author Sabine Glesner and Steffen Helke and Stefan Jähnichen
Title of Book Proc. Conquest 2007, 10th International Conference on Quality Engineering in Software Technology
Year 2007
Publisher dpunkt Verlag
Bibtex Type of Publication Invited Papers
Download Bibtex entry

Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe