Bisimulation Through Probabilistic Testing (Preliminary Report)

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

Originalsprog	Engelsk
Titel	Proceedings of the 16th Annual ACM Symposium on Principles of Programming Languages
Forlag	<Forlag uden navn>
Publikationsdato	1989
Sider	344-352
ISBN (Trykt)	0-89791-294-2
Status	Udgivet - 1989
Begivenhed	Bisimulation Through Probabilistic Testing (Preliminary Report) - Varighed: 19 maj 2010 → …

Konference	Bisimulation Through Probabilistic Testing (Preliminary Report)
Periode	19/05/2010 → …

ISSN ; -

AUB Link

@inproceedings{307a46d08ac211dbbb3d000ea68e967b,

title = "Bisimulation Through Probabilistic Testing (Preliminary Report)",

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

note = "ISSN ; -; Bisimulation Through Probabilistic Testing (Preliminary Report) ; Conference date: 19-05-2010",

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

}

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>

T2 - Bisimulation Through Probabilistic Testing (Preliminary Report)

Y2 - 19 May 2010

ER -