Skip to content

Asynchronous test equivalence for probabilistic processes.

Puneet Bhateja

VenueCAPSEC
Year2020
ProceedingsAPSEC

Browse the full APSEC paper archive.