![](/img/cover-not-exists.png)
Verifying lossy channel systems has nonprimitive recursive complexity
Ph. SchnoebelenVolume:
83
Year:
2002
Language:
english
Pages:
11
DOI:
10.1016/s0020-0190(01)00337-4
File:
PDF, 171 KB
english, 2002