Validation of Concurrent Processes with Emphasis on Testing

Publikation: Bog/antologi/afhandling/rapportBogFormidling

OriginalsprogEngelsk
Udgivelses stedAalborg
ForlagInstitut for Elektroniske Systemer, Aalborg Universitet
StatusUdgivet - 1989
NavnAalborg Universitetscenter. Institut for Elektroniske Systemer - Rapport
Nummer1989 : R 89-46
ISSN0106-0791

Citer dette

Skou, A. (1989). Validation of Concurrent Processes with Emphasis on Testing. Aalborg: Institut for Elektroniske Systemer, Aalborg Universitet. Aalborg Universitetscenter. Institut for Elektroniske Systemer - Rapport, Nr. 1989 : R 89-46
Skou, Arne. / Validation of Concurrent Processes with Emphasis on Testing. Aalborg : Institut for Elektroniske Systemer, Aalborg Universitet, 1989. (Aalborg Universitetscenter. Institut for Elektroniske Systemer - Rapport; Nr. 1989 : R 89-46).
@book{23f69440003511dab4d5000ea68e967b,
title = "Validation of Concurrent Processes with Emphasis on Testing",
author = "Arne Skou",
year = "1989",
language = "English",
series = "Aalborg Universitetscenter. Institut for Elektroniske Systemer - Rapport",
number = "1989 : R 89-46",
publisher = "Institut for Elektroniske Systemer, Aalborg Universitet",
address = "Denmark",

}

Skou, A 1989, Validation of Concurrent Processes with Emphasis on Testing. Aalborg Universitetscenter. Institut for Elektroniske Systemer - Rapport, nr. 1989 : R 89-46, Institut for Elektroniske Systemer, Aalborg Universitet, Aalborg.

Validation of Concurrent Processes with Emphasis on Testing. / Skou, Arne.

Aalborg : Institut for Elektroniske Systemer, Aalborg Universitet, 1989. (Aalborg Universitetscenter. Institut for Elektroniske Systemer - Rapport; Nr. 1989 : R 89-46).

Publikation: Bog/antologi/afhandling/rapportBogFormidling

TY - BOOK

T1 - Validation of Concurrent Processes with Emphasis on Testing

AU - Skou, Arne

PY - 1989

Y1 - 1989

M3 - Book

T3 - Aalborg Universitetscenter. Institut for Elektroniske Systemer - Rapport

BT - Validation of Concurrent Processes with Emphasis on Testing

PB - Institut for Elektroniske Systemer, Aalborg Universitet

CY - Aalborg

ER -

Skou A. Validation of Concurrent Processes with Emphasis on Testing. Aalborg: Institut for Elektroniske Systemer, Aalborg Universitet, 1989. (Aalborg Universitetscenter. Institut for Elektroniske Systemer - Rapport; Nr. 1989 : R 89-46).