Verifying Concurrent Processes Using Temporal Logic
Publisher: Springer
Published: 1982
ISBN-13: 9783540112051