On Testability of Multiple Precharged Domino Logic.

Th. Haniotakis Y. Tsiatouhas Dimitris Nikolos Costas Efstathiou

Published in: ISQED (2000)

Keyphrases

real world
real time
databases
data mining
machine learning
logic programming
set theory
relational databases
probabilistic model
modal logic
proof theory