发现好书期刊，享受阅读乐趣

海量图书期刊资源，随时随地畅享阅读乐趣

Model-Checking of Correctness Conditions for Concurrent Objects

Model-Checking of Correctness Conditions for Concurrent Objects

Rajeev Alur; Ken McMillan; Doron Peled

作者Rajeev Alur; Ken McMillan; Doron Peled
卷第160卷
印刷ISSN0890-5401
电子ISSN1090-2651
文件大小242.49KB
发表时间2000
DOI10.1006/inco.1999.2847
页码167-188

← 返回【学霸图书馆】主页