Testing Probabilistic and Nondeterministic Processes

Research output: Book/ReportBookResearch

Original languageEnglish
PublisherNorth-Holland
Publication statusPublished - 1992

Cite this

@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.

Research output: Book/ReportBookResearch

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 -