T. Denvir
AuthID: R-006-MEE
1
TÃTULO: The cash-point (ATM) 'problem'
AUTORES: Denvir, T; Oliveira, J ; Plat, N;
PUBLICAÇÃO: 2000, FONTE: Formal Aspects of Computing, VOLUME: 12, NÚMERO: 4
AUTORES: Denvir, T; Oliveira, J ; Plat, N;
PUBLICAÇÃO: 2000, FONTE: Formal Aspects of Computing, VOLUME: 12, NÚMERO: 4
INDEXADO EM: Scopus