Temporal Logic in Specification 1987: Altrincham, UK

Logic

Automata, Theorem Proving and Model Checking

Specification

Execution

a service of Schloss Dagstuhl - Leibniz Center for Informatics