Temporal Logic in Specification

Temporal Logic in Specification 1987: Altrincham, UK

maintained by Schloss Dagstuhl LZI, founded at University of Trier