Hazard-Freedom Checking in Speed-Independent Systems.

Hüsnü Yenigün Vladimir Levin Doron A. Peled Peter A. Beerel

Published in: CHARME (1999)

Keyphrases

databases
real time
real world
computer vision
image processing
database systems
hidden markov models
np complete
building blocks
computational models