The Community for Technology Leaders
Temporal Representation and Reasoning, International Syposium on (2003)
Cairns, Queensland, Australia
July 8, 2003 to July 10, 2003
ISSN: 1530-1311
ISBN: 0-7695-1912-1
pp: 7
Edmund Clarke , Carnegie Mellon University
INDEX TERMS
CITATION

E. Clarke, "Counterexample-Guided Abstraction Refinement," Temporal Representation and Reasoning, International Syposium on(TIME), Cairns, Queensland, Australia, 2003, pp. 7.
doi:10.1109/TIME.2003.1214874
87 ms
(Ver 3.3 (11022016))