Testing and Verification of Probabilistic Processes

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

OriginalsprogEngelsk
TitelNSDCS'92
RedaktørerHeegaard, Poul : Helvik, Bjarne (eds.)
ForlagNTH
Publikationsdato1992
Sider235-250
StatusUdgivet - 1992
BegivenhedNSDCS'92, 1992 - Trondheim
Varighed: 19 maj 2010 → …

Konference

KonferenceNSDCS'92, 1992
ByTrondheim
Periode19/05/2010 → …

Bibliografisk note

ISSN ; -

Citer dette

Larsen, K. G., & Skou, A. (1992). Testing and Verification of Probabilistic Processes. I Heegaard, Poul : Helvik, Bjarne (eds.) (red.), NSDCS'92 (s. 235-250). NTH.
Larsen, Kim Guldstrand ; Skou, Arne. / Testing and Verification of Probabilistic Processes. NSDCS'92. red. / Heegaard, Poul : Helvik, Bjarne (eds.). NTH, 1992. s. 235-250
@inproceedings{22babc60809411db8b97000ea68e967b,
title = "Testing and Verification of Probabilistic Processes",
author = "Larsen, {Kim Guldstrand} and Arne Skou",
note = "ISSN ; -",
year = "1992",
language = "English",
pages = "235--250",
editor = "{Heegaard, Poul : Helvik, Bjarne (eds.)}",
booktitle = "NSDCS'92",
publisher = "NTH",

}

Larsen, KG & Skou, A 1992, Testing and Verification of Probabilistic Processes. i Heegaard, Poul : Helvik, Bjarne (eds.) (red.), NSDCS'92. NTH, s. 235-250, NSDCS'92, 1992, Trondheim, 19/05/2010.

Testing and Verification of Probabilistic Processes. / Larsen, Kim Guldstrand; Skou, Arne.

NSDCS'92. red. / Heegaard, Poul : Helvik, Bjarne (eds.). NTH, 1992. s. 235-250.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

TY - GEN

T1 - Testing and Verification of Probabilistic Processes

AU - Larsen, Kim Guldstrand

AU - Skou, Arne

N1 - ISSN ; -

PY - 1992

Y1 - 1992

M3 - Article in proceeding

SP - 235

EP - 250

BT - NSDCS'92

A2 - Heegaard, Poul : Helvik, Bjarne (eds.), null

PB - NTH

ER -

Larsen KG, Skou A. Testing and Verification of Probabilistic Processes. I Heegaard, Poul : Helvik, Bjarne (eds.), red., NSDCS'92. NTH. 1992. s. 235-250