Model-Checking of Correctness Conditions for Concurrent ObjectsOpen Website

Rajeev Alur, Kenneth L. McMillan, Doron A. Peled

Published: 2000, Last Modified: 12 May 2023Inf. Comput. 2000Readers: Everyone
0 Replies