Satisfiability checker for Propositional Temporal Logic

  • H.W. de Vries

Student thesis: Master

Abstract

Date of Award31 Aug 1989
Original languageEnglish
SupervisorJ.A.G. Jess (Supervisor 1)

Cite this

'