Temporal Logic in Specification: Altrincham, Uk, April 8-10, 1987 
Subtitle: Proceedings (Lecture Notes in Computer Science)
Contributors: A. Pneuli (Editor)
Publisher: Springer
Published: December 1989
Language: eng
Number of pages: 448
ISBN-13: 9780387518039