Wang Yi, Kim Guldstrand Larsen
Publikation: Bog/antologi/afhandling/rapport › Bog › Forskning
}
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 -