Partial Order Methods in Verification: Dimacs Workshop July 24-26, 1996 (DIMACS SERIES IN DISCRETE MATHEMATICS AND THEORETICAL COMPUTER SCIENCE)

MATHEMATICS

by: Doron A. Peled · Vaughan R. Pratt · Gerard J. Holzmann

Hardcover

details (United States).

ISBN: 978-0-8218-0579-4

ISBN-10: 0-8218-0579-7

Amer Mathematical Society · 1997