Deontic Logic, Agency and Normative SystemsInternational Workshop on Deontic Logic in Computer Science (3rd 1996 Sesimbra, Portugal)₹7,773
Model-based Health Monitoring of Hybrid SystemsDanwei Wang, Ming Yu, Chang Boon Low, Shai Arogeti₹7,772
Modern Cryptography with Proof Techniques and ImplementationsSeong Oun Hwang, Intae Kim, Wai Kong Lee₹4,157