Validation of Concurrent Processes with Emphasis on Testing

Publikation: Bog/antologi/afhandling/rapport › Bog › Formidling

Originalsprog	Engelsk

Udgivelsessted	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

AUB Link

@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",

}