Computer Science Departmental Website

Clausal Resolution for Linear Time Temporal Logic.

20^th March 2001, 16:00
Clare Dixon
Liverpool University

Department of Computer Science , University of Liverpool
Ashton Street, Liverpool, L69 3BX
United Kingdom

+44 (0)151 795 4275

Call the department

Maintained by Othon Michail