Search results for: Sebastian Modersheim
Journal of Information Security and Applications > 2016 > 30 > C > 46-63
Lecture Notes in Computer Science > Foundations of Software Science and Computation Structures > Security > 428-445
Lecture Notes in Computer Science > Formal Methods in Computer-Aided Design > Contributed Papers > 110-126
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 363-379
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 549-564
Information and Computation > 2008 > 206 > 2-4 > 291-311
Electronic Notes in Theoretical Computer Science > 2005 > 125 > 1 > 145-161
International Journal of Information Security > 2005 > 4 > 3 > 181-208