View of Formalizing of web-services specifications using temporal logics

Return to Article Details Formalizing of web-services specifications using temporal logics Download Download PDF