PhD thesis,

Resolution-based methods for linear-time temporal logics : with applications to formal verification.

.
University of Liverpool, UK, (2010)British Library, EThOS.

Meta data

Tags

Users

  • @dblp

Comments and Reviews