A. Tocchio
AuthID: R-006-RQ1
1
TÃTULO: Ensuring agent properties under arbitrary sequences of incoming events
AUTORES: Costantini, S; Dell'Acqua, P; Pereira, LM ; Tocchio, A;
PUBLICAÇÃO: 2010, FONTE: 17th RCRA 2010 Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion in CEUR Workshop Proceedings, VOLUME: 616
AUTORES: Costantini, S; Dell'Acqua, P; Pereira, LM ; Tocchio, A;
PUBLICAÇÃO: 2010, FONTE: 17th RCRA 2010 Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion in CEUR Workshop Proceedings, VOLUME: 616
INDEXADO EM: Scopus