Books listed by ISBN > Amer Mathematical Society > Vaughan R. Pratt

Vaughan R. Pratt

titleISBN-13
(ISBN-10)		year of publica-
tion		other author(s)
Partial Order Methods in Verification: Dimacs Workshop July 24-26, 1996978-O-8218-O579-4
(O-8218-O579-7)		1997Doron A. Peled · Gerard J. Holzmann

R. P. · R. Pratt · V.P. · V. Pratt

VAUGHAN-REASON