V. V. Ruiz
发表
J. J. Pardo,
M. Ruiz,
Fernando Cuartero Gómez,
2000
.
Igor V. Tarasyuk,
Valentín Valero Ruiz,
Hermenegilda Macià,
2017,
Sibirskie Elektronnye Matematicheskie Izvestiya.
David de Frutos-Escrig,
Valentín Valero Ruiz,
Fernando Cuartero,
2008,
Formal Methods Syst. Des..
Valentín Valero Ruiz,
Antonio Bueno,
Fernando Cuartero,
2005,
Theor. Comput. Sci..
Gregorio Díaz,
Valentín Valero Ruiz,
M. Carmen Ruiz,
2005,
2005 Australian Software Engineering Conference.
Valentín Valero Ruiz,
Juan José Pardo,
Diego Cazorla,
2003,
J. Log. Algebraic Methods Program..
F. L. Pelayo,
F. Cuartero,
D. Cazorla,
2001,
Inf. Process. Lett..
Valentín Valero Ruiz,
Diego Cazorla,
Fernando López Pelayo,
2000,
ICDCS Workshop on Distributed System Validation and Verification.
Valentín Valero Ruiz,
Antonio Bueno,
Fernando Cuartero,
1997,
Proceedings of Joint 4th International Computer Science Conference and 4th Asia Pacific Software Engineering Conference.
Valentín Valero Ruiz,
Fernando Cuartero,
David Cebrián,
2007,
TestCom/FATES.
Valentín Valero Ruiz,
Fernando López Pelayo,
Hermenegilda Macià,
2004,
10th International Multimedia Modelling Conference, 2004. Proceedings..
Valentín Valero Ruiz,
Juan José Pardo,
J. J. Pardo,
2002,
ICATPN.
Enrique Martínez,
Gregorio Díaz,
María-Emilia Cambronero,
2012,
Simul..
Gregorio Díaz,
Valentín Valero Ruiz,
Fernando López Pelayo,
2004,
SAC '04.
Gregorio Díaz,
María-Emilia Cambronero,
Valentín Valero Ruiz,
2015,
SAC.
Gregorio Díaz,
María-Emilia Cambronero,
Valentín Valero Ruiz,
2012,
Sci. Comput. Program..
Gregorio Díaz,
Valentín Valero Ruiz,
Luis Llana,
2012,
FLACOS.
Gregorio Díaz,
María-Emilia Cambronero,
Valentín Valero Ruiz,
2010,
Softw. Test. Verification Reliab..
Enrique Martínez,
Gregorio Díaz,
Carmen Rosa Martínez,
2009,
TAMoCo.
David de Frutos-Escrig,
Valentín Valero Ruiz,
Fernando Cuartero,
1995,
Application and Theory of Petri Nets.