"Discrete vs. Dense Times in the Analysis of Cyber-Physical Security Protocols."

Max I. Kanovich et al. (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics