Dzung Phan, Vinicius Lima
INFORMS 2023
Paper
A Propositional Modal Logic of Time Intervals
Abstract
No abstract available.
Related
Conference paper
Risks and potentials of using EMV for internet payments
Els van Herreweghen, Uta Wille
USENIX Workshop on Smartcard Technology 1999
Yannis Belkhiter, Dhaval Salwala, et al.
NFV-SDN 2025
Giuseppe Romano, Aakrati Jain, et al.
ECTC 2025