Temporal logic in specification Altrincham, UK, April 8-10, 1987 proceediings - Banieqbal, B.; Barringer, H.; Pnueli, A. (Berlin Springer-Verlag, 1989)
Includes bibliographical references
1
Keywords: System design; Logic, Symbolic and mathmatical