Specification and Testing of E-Commerce Agents Described by Using UIOLTSs.

Juan Jos Pardo, Manuel Nez, M. Carmen Ruiz

Browse the full FORTE paper archive.