The Spin Verification System: Dimacs Workshop, August 5, 1996 (DIMACS SERIES IN DISCRETE MATHEMATICS AND THEORETICAL COMPUTER SCIENCE)

by: N. J.) Workshop on the Spin Verification System (1996 New Brunswick · Jean-Charles Gregoire · Gerard J. Holzmann · Doron Peled

Hardcover

ISBN: 978-0-8218-0680-7

ISBN-10: 0-8218-0680-7

Amer Mathematical Society · 1997