María del Carmen Ruiz Delgado-rekin lankidetzan egindako argitalpenak (2)

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)