Conference paper
Counterexample to theorems of Cox and Fine
Joseph Y. Halpern
aaai 1996
Paper
On Live-Dead Analysis for Global Data Flow Problems
Abstract
No abstract available.
Related
P. Trespeuch, Y. Fournier, et al.
Civil-Comp Proceedings
Conference paper
Risks and potentials of using EMV for internet payments
Els van Herreweghen, Uta Wille
USENIX Workshop on Smartcard Technology 1999
Vladimir Yanovski, Israel A. Wagner, et al.
Ann. Math. Artif. Intell.