Bisimulation Through Probabilistic Testing (Preliminary Report)

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

OriginalsprogEngelsk
TitelProceedings of the 16th Annual ACM Symposium on Principles of Programming Languages
Forlag<Forlag uden navn>
Publikationsdato1989
Sider344-352
ISBN (Trykt)0-89791-294-2
StatusUdgivet - 1989
BegivenhedBisimulation Through Probabilistic Testing (Preliminary Report) -
Varighed: 19 maj 2010 → …

Konference

KonferenceBisimulation Through Probabilistic Testing (Preliminary Report)
Periode19/05/2010 → …

Bibliografisk note

ISSN ; -

Citer dette

Larsen, K. G., & Skou, A. (1989). Bisimulation Through Probabilistic Testing (Preliminary Report). I Proceedings of the 16th Annual ACM Symposium on Principles of Programming Languages (s. 344-352). <Forlag uden navn>.
Larsen, Kim Guldstrand ; Skou, Arne. / Bisimulation Through Probabilistic Testing (Preliminary Report). Proceedings of the 16th Annual ACM Symposium on Principles of Programming Languages. <Forlag uden navn>, 1989. s. 344-352
@inproceedings{307a46d08ac211dbbb3d000ea68e967b,
title = "Bisimulation Through Probabilistic Testing (Preliminary Report)",
author = "Larsen, {Kim Guldstrand} and Arne Skou",
note = "ISSN ; -",
year = "1989",
language = "English",
isbn = "0-89791-294-2",
pages = "344--352",
booktitle = "Proceedings of the 16th Annual ACM Symposium on Principles of Programming Languages",
publisher = "<Forlag uden navn>",

}

Larsen, KG & Skou, A 1989, Bisimulation Through Probabilistic Testing (Preliminary Report). i Proceedings of the 16th Annual ACM Symposium on Principles of Programming Languages. <Forlag uden navn>, s. 344-352, Bisimulation Through Probabilistic Testing (Preliminary Report), 19/05/2010.

Bisimulation Through Probabilistic Testing (Preliminary Report). / Larsen, Kim Guldstrand; Skou, Arne.

Proceedings of the 16th Annual ACM Symposium on Principles of Programming Languages. <Forlag uden navn>, 1989. s. 344-352.

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

TY - GEN

T1 - Bisimulation Through Probabilistic Testing (Preliminary Report)

AU - Larsen, Kim Guldstrand

AU - Skou, Arne

N1 - ISSN ; -

PY - 1989

Y1 - 1989

M3 - Article in proceeding

SN - 0-89791-294-2

SP - 344

EP - 352

BT - Proceedings of the 16th Annual ACM Symposium on Principles of Programming Languages

PB - <Forlag uden navn>

ER -

Larsen KG, Skou A. Bisimulation Through Probabilistic Testing (Preliminary Report). I Proceedings of the 16th Annual ACM Symposium on Principles of Programming Languages. <Forlag uden navn>. 1989. s. 344-352