LVT: a layered verification technique for distributed computing systems
Cui Zhang, Brian R. Becker, Dave Peticolas, Ronald A. Olsson, Karl N. LevittVolume:
9
Year:
1999
Language:
english
Pages:
27
DOI:
10.1002/(sici)1099-1689(199906)9:23.0.co;2-y
File:
PDF, 185 KB
english, 1999