Verifying Temporal Properties of Systems
Publisher: Springer
Published: Feb 25, 2012
Format: paperback
Number of pages: 124
ISBN-13: 9781468468212
Notes: Source title: Verifying Temporal Properties of Systems (Progress in Theoretical Computer Science)