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