num_pages: 460
language: English
title: Temporal Logic in Specification: Altrincham, UK, April 8-10, 1987, Proceedings
titlecomplete: Temporal Logic in Specification: Altrincham, UK, April 8-10, 1987, Proceedings (Lecture Notes in Computer Science, 398)
publisher: Springer