Verifying liveness properties of multifunction composite...

Verifying liveness properties of multifunction composite protocols

Jun-Cheol Park
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
26
Year:
2003
Language:
english
Pages:
12
DOI:
10.1016/s0140-3664(03)00095-1
File:
PDF, 255 KB
english, 2003
Conversion to is in progress
Conversion to is failed