Abstraction-based verification of distributed systems

Henrik Ejersbo Jensen

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

OriginalsprogEngelsk
Udgivelses stedAalborg
ForlagAalborg Universitetsforlag
StatusUdgivet - 1999
NavnR : Department of Computer Science, Aalborg University
Nummer99-5005
ISSN1397-8640

Citer dette

Jensen, H. E. (1999). Abstraction-based verification of distributed systems. Aalborg: Aalborg Universitetsforlag. R : Department of Computer Science, Aalborg University, Nr. 99-5005
Jensen, Henrik Ejersbo. / Abstraction-based verification of distributed systems. Aalborg : Aalborg Universitetsforlag, 1999. (R : Department of Computer Science, Aalborg University; Nr. 99-5005).
@phdthesis{96cf6530003211dab4d5000ea68e967b,
title = "Abstraction-based verification of distributed systems",
author = "Jensen, {Henrik Ejersbo}",
year = "1999",
language = "English",
series = "R : Department of Computer Science, Aalborg University",
number = "99-5005",
publisher = "Aalborg Universitetsforlag",

}

Jensen, HE 1999, Abstraction-based verification of distributed systems. R : Department of Computer Science, Aalborg University, nr. 99-5005, Aalborg Universitetsforlag, Aalborg.

Abstraction-based verification of distributed systems. / Jensen, Henrik Ejersbo.

Aalborg : Aalborg Universitetsforlag, 1999. (R : Department of Computer Science, Aalborg University; Nr. 99-5005).

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

TY - BOOK

T1 - Abstraction-based verification of distributed systems

AU - Jensen, Henrik Ejersbo

PY - 1999

Y1 - 1999

M3 - Ph.D. thesis

T3 - R : Department of Computer Science, Aalborg University

BT - Abstraction-based verification of distributed systems

PB - Aalborg Universitetsforlag

CY - Aalborg

ER -

Jensen HE. Abstraction-based verification of distributed systems. Aalborg: Aalborg Universitetsforlag, 1999. (R : Department of Computer Science, Aalborg University; Nr. 99-5005).