Artie Basukoski

Temporal resolution for branching time logics : extensions and complexity.
. University of Westminster, London, UK, (2006)British Library, EThOS.
  •  Doctoral advisor:
  •  First reviewer:
more

No resources found