Cliff B. Jones
AuthID: R-00H-87B
1
TÃTULO: Editorial Full Text
AUTORES: Cliff Jones; Jose Oliveira;
PUBLICAÇÃO: 2019, FONTE: FORMAL ASPECTS OF COMPUTING, VOLUME: 31, NÚMERO: 6
AUTORES: Cliff Jones; Jose Oliveira;
PUBLICAÇÃO: 2019, FONTE: FORMAL ASPECTS OF COMPUTING, VOLUME: 31, NÚMERO: 6
INDEXADO EM: 
WOS
WOS2
TÃTULO: FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings
AUTORES: Cliff B Jones; Pekka Pihlajasaari; Jun Sun;
PUBLICAÇÃO: 2014, FONTE: FM, VOLUME: 8442
AUTORES: Cliff B Jones; Pekka Pihlajasaari; Jun Sun;
PUBLICAÇÃO: 2014, FONTE: FM, VOLUME: 8442
INDEXADO EM: 
DBLP
DBLP3
TÃTULO: The atomic manifesto: a story in four quarks. a story in four quarks Full Text
AUTORES: Cliff B. Jones; David B. Lomet; Alexander B. Romanovsky; Gerhard Weikum; Alan Fekete; Marie Claude Gaudel; Henry F. Korth; Rogério de Lemos; Eliot Eliot B. Moss; Ravi Rajwar; Krithi Ramamritham; Brian Randell; Luís Rodrigues ;
PUBLICAÇÃO: 2005, FONTE: Operating Systems Review, VOLUME: 39, NÚMERO: 2
AUTORES: Cliff B. Jones; David B. Lomet; Alexander B. Romanovsky; Gerhard Weikum; Alan Fekete; Marie Claude Gaudel; Henry F. Korth; Rogério de Lemos; Eliot Eliot B. Moss; Ravi Rajwar; Krithi Ramamritham; Brian Randell; Luís Rodrigues ;
PUBLICAÇÃO: 2005, FONTE: Operating Systems Review, VOLUME: 39, NÚMERO: 2
