New and used temporal models: An issue of time

Frank D. Anger, Edmund M. Clarke. New and used temporal models: An issue of time. Appl. Intell., 3(1):5-15, 1993. [doi]

Authors

Frank D. Anger

This author has not been identified. Look up 'Frank D. Anger' in Google

Edmund M. Clarke

This author has not been identified. Look up 'Edmund M. Clarke' in Google