Cliff B. Jones
AuthID: R-00H-87B
1
TITLE: Editorial Full Text
AUTHORS: Cliff Jones; Jose Oliveira;
PUBLISHED: 2019, SOURCE: FORMAL ASPECTS OF COMPUTING, VOLUME: 31, ISSUE: 6
AUTHORS: Cliff Jones; Jose Oliveira;
PUBLISHED: 2019, SOURCE: FORMAL ASPECTS OF COMPUTING, VOLUME: 31, ISSUE: 6
INDEXED IN: 
WOS
WOS2
TITLE: FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings
AUTHORS: Cliff B Jones; Pekka Pihlajasaari; Jun Sun;
PUBLISHED: 2014, SOURCE: FM, VOLUME: 8442
AUTHORS: Cliff B Jones; Pekka Pihlajasaari; Jun Sun;
PUBLISHED: 2014, SOURCE: FM, VOLUME: 8442
INDEXED IN: 
DBLP
DBLP3
TITLE: The atomic manifesto: a story in four quarks. a story in four quarks Full Text
AUTHORS: 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 ;
PUBLISHED: 2005, SOURCE: Operating Systems Review, VOLUME: 39, ISSUE: 2
AUTHORS: 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 ;
PUBLISHED: 2005, SOURCE: Operating Systems Review, VOLUME: 39, ISSUE: 2
