A simple method for extracting models for protocol code

ACM SIGARCH Computer Architecture News 2001 / 05 Vol. 29; Iss. 2

A simple method for extracting models for protocol code

Lie, David, Chou, Andy, Engler, Dawson, Dill, David L.
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:
29
Language:
english
Journal:
ACM SIGARCH Computer Architecture News
DOI:
10.1145/384285.379263
Date:
May, 2001
File:
PDF, 902 KB
english, 2001
Conversion to is in progress
Conversion to is failed