Publications by the researcher in collaboration with MANUEL NÚÑEZ GARCÍA (6)

2007

  1. Testing semantics for urgent timed process algebras

    Real-time Systems: Modeling, Design And Applications (World Scientific Publishing Co.), pp. 221-235

2004

  1. Preface

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

1998

  1. An invitation to friendly testing

    Journal of Computer Science and Technology, Vol. 13, Núm. 6

  2. Invitation to friendly testing

    Journal of Computer Science and Technology, Vol. 13, Núm. 6, pp. 531-545

1997

  1. Introducing friendly testing

    V Jornadas de Concurrencia: actas de las Quintas Jornadas de Concurrencia. Vigo, junio de 1997

1996

  1. Semánticas de pruebas para álgebras de procesos probabilísticos[«h»Recurso electrónico]

    Universidad Complutense de Madrid