Funktionale Verifikation von Systemen: Schlussbericht zum Förderprojekt ; Vorhabenbezeichnung: FEST: Funktionale Verifikation von Systemen ; Überblick über das Projekt ; Laufzeit des Vorhabens 01.07.2004 - 30.06.2007

Research output: Other contributionOther publicationResearch

View graph of relations

Details

Original languageGerman
PublisherTIB Leibniz-Informationszentrum Technik und Naturwissenschaften Universitätsbibliothek
Place of PublicationHannover
Publication statusPublished - 2007

Cite this

Funktionale Verifikation von Systemen: Schlussbericht zum Förderprojekt ; Vorhabenbezeichnung: FEST: Funktionale Verifikation von Systemen ; Überblick über das Projekt ; Laufzeit des Vorhabens 01.07.2004 - 30.06.2007. / Schöber, Volker.
Hannover: TIB Leibniz-Informationszentrum Technik und Naturwissenschaften Universitätsbibliothek. 2007.

Research output: Other contributionOther publicationResearch

Download
@misc{b9e8e463d9c245a2b3ea7186c979db8a,
title = "Funktionale Verifikation von Systemen: Schlussbericht zum F{\"o}rderprojekt ; Vorhabenbezeichnung: FEST: Funktionale Verifikation von Systemen ; {\"U}berblick {\"u}ber das Projekt ; Laufzeit des Vorhabens 01.07.2004 - 30.06.2007",
author = "Volker Sch{\"o}ber",
year = "2007",
language = "Deutsch",
publisher = "TIB Leibniz-Informationszentrum Technik und Naturwissenschaften Universit{\"a}tsbibliothek",
type = "Other",

}

Download

TY - GEN

T1 - Funktionale Verifikation von Systemen

T2 - Schlussbericht zum Förderprojekt ; Vorhabenbezeichnung: FEST: Funktionale Verifikation von Systemen ; Überblick über das Projekt ; Laufzeit des Vorhabens 01.07.2004 - 30.06.2007

AU - Schöber, Volker

PY - 2007

Y1 - 2007

M3 - Sonstige Publikation

PB - TIB Leibniz-Informationszentrum Technik und Naturwissenschaften Universitätsbibliothek

CY - Hannover

ER -

By the same author(s)