Search results for: Hélène Kirchner
Lecture Notes in Computer Science > Computational Science — ICCS 2003 > Track on Models and Algorithms > 367-376
Lecture Notes in Computer Science > Automated Deduction – CADE-19 > Session 10: Invited Talk > 297-316
Lecture Notes in Computer Science > CAAP '88 > 165-184
Lecture Notes in Computer Science > Computer Security – ESORICS 2007 > Formal Methods in Security III > 578-593
Lecture Notes in Computer Science > Algebra, Meaning, and Computation > Specification and Composition > 194-215
Lecture Notes in Computer Science > New Trends in Constraints > Rule-Based Constraint Programming > 274-297