Temporal Properties of Self-Timed Rings.

Anthony Winstanley Mark R. Greenstreet

Published in: CHARME (2001)

Keyphrases

temporal properties
model checking
low power
high bandwidth
possibility theory
formal methods
end to end
general purpose
low cost
power consumption
formal specification