Testing Probabilistic and Nondeterministic Processes

Publikation: Bog/antologi/afhandling/rapportBogForskning

OriginalsprogEngelsk
ForlagNorth-Holland
StatusUdgivet - 1992

Citer dette

@book{f73d2590003411dab4d5000ea68e967b,
title = "Testing Probabilistic and Nondeterministic Processes",
author = "Wang Yi and Larsen, {Kim Guldstrand}",
year = "1992",
language = "English",
publisher = "North-Holland",

}

Testing Probabilistic and Nondeterministic Processes. / Yi, Wang; Larsen, Kim Guldstrand.

North-Holland, 1992.

Publikation: Bog/antologi/afhandling/rapportBogForskning

TY - BOOK

T1 - Testing Probabilistic and Nondeterministic Processes

AU - Yi, Wang

AU - Larsen, Kim Guldstrand

PY - 1992

Y1 - 1992

M3 - Book

BT - Testing Probabilistic and Nondeterministic Processes

PB - North-Holland

ER -