by: Edmund M. Clarke Jr. · Orna Grumberg · Doron A. Peled
Hardcover
ISBN: 978-0-262-03270-4
ISBN-10: 0-262-03270-8
The MIT Press · 1999
|
|
by: Edmund M. Clarke Jr. · Orna Grumberg · Doron A. PeledHardcover
ISBN: 978-0-262-03270-4 ISBN-10: 0-262-03270-8 The MIT Press · 1999 |