Search results for: Lennart Beringer
Journal of Automated Reasoning > 2018 > 61 > 1-4 > 367-422
Lecture Notes in Computer Science > Correct Hardware Design and Verification Methods > Short Papers 2 > 270-276
Lecture Notes in Computer Science > Advances in Computer Science - ASIAN 2009. Information Security and Privacy > 54-68
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 347-362
Lecture Notes in Computer Science > Formal Methods for Components and Objects > The MOBIUS Project > 25-51
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 82-102
Computer Languages, Systems & Structures > 2013 > 39 > 2 > 49-65
Journal of Logic and Algebraic Programming > 2010 > 79 > 7 > 483-514
Theoretical Computer Science > 2007 > 389 > 3 > 411-445
Electronic Notes in Theoretical Computer Science > 2007 > 176 > 3 > 37-59
Electronic Notes in Theoretical Computer Science > 2007 > 176 > 3 > 3-20
Electronic Notes in Theoretical Computer Science > 2003 > 85 > 1 > 3-23