TU Darmstadt / ULB / TUbiblio

Model checking of an on-line diagnosis algorithm

Bokor, Peter (2005)
Model checking of an on-line diagnosis algorithm.
Report, Bibliographie

Typ des Eintrags: Report
Erschienen: 2005
Autor(en): Bokor, Peter
Art des Eintrags: Bibliographie
Titel: Model checking of an on-line diagnosis algorithm
Sprache: Englisch
Publikationsjahr: 2005
Ort: Darmstadt
Verlag: TUD, DEEDS
Band einer Reihe: 07-200
Fachbereich(e)/-gebiet(e): 20 Fachbereich Informatik
Hinterlegungsdatum: 20 Nov 2008 08:20
Letzte Änderung: 05 Mär 2013 09:03
PPN:
Export:
Suche nach Titel in: TUfind oder in Google
Frage zum Eintrag Frage zum Eintrag

Optionen (nur für Redakteure)
Redaktionelle Details anzeigen Redaktionelle Details anzeigen