| Originalsprog | Engelsk |
|---|
| Udgivelses sted | Aalborg |
|---|---|
| Forlag | Institut for Elektroniske Systemer, Aalborg Universitet |
| Status | Udgivet - 1989 |
| Navn | Aalborg Universitetscenter. Institut for Elektroniske Systemer - Rapport |
|---|---|
| Nummer | 1989 : R 89-46 |
| ISSN | 0106-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
@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/rapport › Bog › Formidling
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).