Up a level |
Number of items: 1.
Ludwig, Michel
(2010)
Resolution-Based Methods for Linear-Time Temporal Logics with Applications to Formal Verification.
PhD thesis, University of Liverpool.
Up a level |
Ludwig, Michel
(2010)
Resolution-Based Methods for Linear-Time Temporal Logics with Applications to Formal Verification.
PhD thesis, University of Liverpool.
Research Support, University of Liverpool
Sydney Jones Library, Abercromby Square
Liverpool
L69 3DA,
UK
+44 (0)151 794 0000