Uni Passau

OPUS - Passau

Bibliographische Daten und PDF-Volltexte aus der Universität Passau
... die Wissenschaft der Hochschule sichtbar machen!

Home Suchen Melden Veröffentlichen Hilfe Kontakt
OPUS-Frontdoor

Schönberg, Christian ; Weitl, Franz ; Freitag, Burkhard

Verifying the consistency of web-based technical documentations / Christian Schönberg, Franz Weitl, and Burkhard Freitag.


Eintrag für die Universitätsbibliographie - leider kein Volltext in OPUS verfügbar!

Originalveröffentlichung: (2011) In: Journal of Symbolic Computation / Special Issue on Automated Specification and Verification of Web System 46 (Nr. 2, 2011) S. 183-206

Bookmark bei Connotea Bookmark bei del.icio.us
Beteiligte Einrichtung: Mitarbeiter Lehrstuhl/Einrichtung der Fakultät für Informatik und Mathematik
Dokumentart: Aufsatz
Sprache: Englisch
Erstellungsjahr: 2011
Bemerkung: Volltext für das Uni-Netz freigeschaltet: Link


URL dieser Seite: http://www.opus-bayern.de/uni-passau/volltexte/2011/2360/


Home Suchen Melden Veröffentlichen Hilfe Kontakt
  OpenAccess logo   OAI2.0 logo   © Universitätsbibliothek Passau · Innstrasse 29 · 94032 Passau 
Tel. (0851) 509 1645 · Fax (0851) 509 1602 ·  Mail opus@uni-passau.de
22.10.10