Temporal resolution for branching time logics : extensions and complexity

Temporal resolution for branching time logics : extensions and complexity

Bibliographic Details
Main Author: Basukoski, Artie
Published: University of Westminster 2006
Subjects:
003.85
Online Access:http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.434294

Internet

http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.434294

Similar Items