Browse by People

Up a level
Export as [feed] RSS [feed] RSSPD
Group by: Item Type | No Grouping
Jump to: Book Section
Number of items: 1.

Book Section

Bolotov, Alexander and Basukoski, Artie (2004) A clausal resolution method for branching-time logic ECTL+. In: 11th International Symposium on Temporal Representation and Reasoning: (TIME 2004), Tatihou, Normandie, France, 1-3 July 2004. IEEE Computer Society, pp. 140-147. ISBN 076952155X
[img]

This list was generated on Sun May 29 23:42:44 2016 BST.