![](/img/cover-not-exists.png)
Verification of distributed programs using representative interleaving sequences
Shmuel Katz, Doron PeledVolume:
6
Language:
english
Pages:
14
DOI:
10.1007/bf02252682
Date:
September, 1992
File:
PDF, 1.69 MB
english, 1992