Search results for: Javier Esparza
Formal Methods in System Design > 2000 > 16 > 2 > 159-189
Journal of Computer and System Sciences > 1999 > 59 > 3 > 476-503
Theoretical Computer Science > 1998 > 198 > 1-2 > 211-224
Acta Informatica > 1997 > 34 > 2 > 85-107
Theoretical Computer Science > 1996 > 153 > 1-2 > 95-128
BBA - Gene Structure and Expression > 1995 > 1263 > 2 > 163-168
Theoretical Computer Science > 1995 > 147 > 1-2 > 117-136