Testing and Verification of Probabilistic Processes

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

Originalsprog	Engelsk
Titel	NSDCS'92
Redaktører	Heegaard, Poul : Helvik, Bjarne (eds.)
Forlag	NTH
Publikationsdato	1992
Sider	235-250
Status	Udgivet - 1992
Begivenhed	NSDCS'92, 1992 - Trondheim Varighed: 19 maj 2010 → …

ISSN ; -

AUB Link

@inproceedings{22babc60809411db8b97000ea68e967b,

title = "Testing and Verification of Probabilistic Processes",

author = "Larsen, {Kim Guldstrand} and Arne Skou",

note = "ISSN ; -; NSDCS'92, 1992 ; Conference date: 19-05-2010",

year = "1992",

language = "English",

pages = "235--250",

editor = "{Heegaard, Poul : Helvik, Bjarne (eds.)}",

booktitle = "NSDCS'92",

publisher = "NTH",

}