Temporal Verification of Reactive Systems
Subtitle: Safety
Publisher: Springer
Published: Jan 17, 2014
Format: paperback
Number of pages: 536
ISBN-13: 9781461242239
Notes: Source title: Temporal Verification of Reactive Systems: Safety