Search results for: Rachid Echahed
Lecture Notes in Computer Science > Formal Techniques in Real-Time and Fault-Tolerant Systems > 193-210
Lecture Notes in Computer Science > Computational Logic — CL 2000 > Logic Programming: Theory and Extensions > 300-314
Lecture Notes in Computer Science > Graph Transformations > Hypergraphs and Termgraph Rewriting > 84-98
Lecture Notes in Computer Science > CAAP '88 > 89-101
Lecture Notes in Computer Science > ESOP 86 > 119-132
Lecture Notes in Computer Science > Static Analysis > 178-192