A Hardware Semantics Based on Temporal Intervals.

Joseph Y. Halpern Zohar Manna Ben C. Moszkowski

Published in: ICALP (1983)

Keyphrases

temporal intervals
temporal reasoning
temporal information
endpoints
image processing
three dimensional