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
This list was generated on Thu Apr 19 23:35:40 2018 BST.