Is There a Future for Deductive Temporal Verification?

Thirteenth International Symposium on Temporal Representation and Reasoning (TIME'06) ◽

10.1109/time.2006.19 ◽

2006 ◽

Cited By ~ 4

Author(s):

C. Dixon ◽

M. Fisher ◽

B. Konev

Download Full-text