Book chapters (2) Publications in which a researcher has participated

2004

  1. Integration of interval logic specifications into the model Checker SPIN

    Actas de las XII Jornadas de Concurrencia y Sistemas Distribuidos: Las Navas del Marqués (Ávila), 9 al 11 de junio de 2004 (Dykinson), pp. 317-322

  2. La metaheurística de optimización basada en colonias de hormigas: modelos y nuevos enfoques

    Optimización inteligente: técnicas de inteligencia computacional para optimización (Universidad de Málaga (UMA)), pp. 261-314