Compositional Verification of Probabilistic Processes

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskning

64 Citationer (Scopus)
OriginalsprogEngelsk
TitelCONCUR'92
RedaktørerCleaveland, W.R. (ed.)
Publikationsdato1992
StatusUdgivet - 1992

Citationsformater