Ali Rezaee et al.: Formal process algebraic modeling, verification, and analysis of an abstract Fuzzy Inference Cloud Service. (2014)journals/tjs/RezaeeRMT1410.1007/S11227-013-1005-9Q57572940Formal process algebraic modeling, verification, and analysis of an abstract Fuzzy Inference Cloud Service.4Ali Rezaee1Amir Masoud Rahmani2Ali Movaghar 00013Mohammad Teshnehlab4345-383J. Supercomput.J. Supercomput.6722014provenance information for RDF data of dblp record 'journals/tjs/RezaeeRMT14'2022-06-23T20:03:44+0200