Publications by the researcher in collaboration with Juan José Pardo Mateo (3)

2010

  1. Specification and testing of e-commerce agents described by using UIOLTSs

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