Southville International School and Colleges
MapReduce for parallel trace validation of LTL properties Halle, Sylvain; Soucy-Boivin, Maxime - 2016 - Book title: Cloud architecture and engineering--Acession number C20554; pages 163-178


CLOUD ARCHITECTURE
Powered by Koha