Symbolic Model Checking
by
Kenneth L. McMillan
Hardcover
details (
USA
).
ISBN: 978-0-7923-9380-1
ISBN-10: 0-7923-9380-5
Kluwer Academic
· 1993
