Conference papers (6)

¹ Publicaciones consideradas como producción de la unidad.

View referenced research data.

in the year 2003 Remove filter
filter_list Type (aggr.) Conference papers from 2003 to 2003 Computational Theory and Mathematics

2003

  1. A study on allelic recombination

    2003 Congress on Evolutionary Computation, CEC 2003 - Proceedings

  2. A study on allelic recombination

    CEC: 2003 CONGRESS ON EVOLUTIONARY COMPUTATION, VOLS 1-4, PROCEEDINGS

  3. A temporal reasoning approach of communication based workflow modelling

    ICEIS 2003 - Proceedings of the 5th International Conference on Enterprise Information Systems

  4. Abstract model checking and refinement of temporal logic in αSPIN

    THIRD INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN, PROCEEDINGS

  5. Abstract model checking and refinement of temporal logic in αSPIN

    Proceedings - International Conference on Application of Concurrency to System Design, ACSD

  6. The Maude 2.0 system

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