Search results for: Leonor Prensa Nieto
Lecture Notes in Computer Science > Mathematical Foundations of Computer Science 2000 > Contributed Papers > 619-628
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Satisfiability > 167-181
Lecture Notes in Computer Science > Programming Languages and Systems > Contributed Papers > 348-362
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Contributed Papers > 188-203
Formal Aspects of Computing > 2007 > 19 > 3 > 321-341
Electronic Notes in Theoretical Computer Science > 2006 > 145 > Complete > 63-78