Partial Order Methods in Verification(DIMACS - Ser. in Discrete Mathematics and Theoretical Computer Science Vol. 29) H 404 p. 9
Peled, Doron, Pratt, Vaughan R., Holzmann, Gerard J. 著
