Information Journal Paper
APA:
CopySIRJANI, M., MOVAGHAR, A., & SHALI, A.. (2004). MODELING AND VERIFICATION OF REACTIVE SYSTEMS USING REBECA. FUNDAMENTA INFORMATICAE, 63(4), 385-410. SID. https://sid.ir/paper/657555/en
Vancouver:
CopySIRJANI M., MOVAGHAR A., SHALI A.. MODELING AND VERIFICATION OF REACTIVE SYSTEMS USING REBECA. FUNDAMENTA INFORMATICAE[Internet]. 2004;63(4):385-410. Available from: https://sid.ir/paper/657555/en
IEEE:
CopyM. SIRJANI, A. MOVAGHAR, and A. SHALI, “MODELING AND VERIFICATION OF REACTIVE SYSTEMS USING REBECA,” FUNDAMENTA INFORMATICAE, vol. 63, no. 4, pp. 385–410, 2004, [Online]. Available: https://sid.ir/paper/657555/en