Data Structures and Algorithms for the Analysis of Real Time Systems

Gerd Behrmann

Research output: Book/ReportPh.D. thesisResearch

Original languageEnglish
Place of PublicationAalborg Universitet
PublisherDepartment of Computer Sciences
Number of pages179
Publication statusPublished - 2003
SeriesPh.D. Thesis

Cite this

Behrmann, G. (2003). Data Structures and Algorithms for the Analysis of Real Time Systems. Aalborg Universitet: Department of Computer Sciences. Ph.D. Thesis
Behrmann, Gerd. / Data Structures and Algorithms for the Analysis of Real Time Systems. Aalborg Universitet : Department of Computer Sciences, 2003. 179 p. (Ph.D. Thesis).
@phdthesis{a5e42c90003211dab4d5000ea68e967b,
title = "Data Structures and Algorithms for the Analysis of Real Time Systems",
author = "Gerd Behrmann",
year = "2003",
language = "English",
series = "Ph.D. Thesis",
publisher = "Department of Computer Sciences",

}

Behrmann, G 2003, Data Structures and Algorithms for the Analysis of Real Time Systems. Ph.D. Thesis, Department of Computer Sciences, Aalborg Universitet.

Data Structures and Algorithms for the Analysis of Real Time Systems. / Behrmann, Gerd.

Aalborg Universitet : Department of Computer Sciences, 2003. 179 p. (Ph.D. Thesis).

Research output: Book/ReportPh.D. thesisResearch

TY - BOOK

T1 - Data Structures and Algorithms for the Analysis of Real Time Systems

AU - Behrmann, Gerd

PY - 2003

Y1 - 2003

M3 - Ph.D. thesis

T3 - Ph.D. Thesis

BT - Data Structures and Algorithms for the Analysis of Real Time Systems

PB - Department of Computer Sciences

CY - Aalborg Universitet

ER -

Behrmann G. Data Structures and Algorithms for the Analysis of Real Time Systems. Aalborg Universitet: Department of Computer Sciences, 2003. 179 p. (Ph.D. Thesis).