Use this URL to cite or link to this record in EThOS:
Title: Resolution-based methods for linear-time temporal logics : with applications to formal verification
Author: Ludwig, Michel
ISNI:       0000 0004 2702 4117
Awarding Body: University of Liverpool
Current Institution: University of Liverpool
Date of Award: 2010
Availability of Full Text:
Access from EThOS:
No abstract available
Supervisor: Not available Sponsor: Not available
Qualification Name: Not available Qualification Level: Doctoral
EThOS ID:  DOI: Not available