Temporal Logic in Specification 1987: Altrincham, UK

Logic

Automata, Theorem Proving and Model Checking

Specification

Execution

maintained by Schloss Dagstuhl LZI at University of Trier