Sadeghipour, S. (2001). Testing Reactive Systems on the Basis of Formal Specifications. (e2734). Scientia Iranica, 8(4), e2734

Sadeghipour, S. "Testing Reactive Systems on the Basis of Formal Specifications" .e2734 , Scientia Iranica, 8, 4, 2001, e2734.

Sadeghipour S. (2001). 'Testing Reactive Systems on the Basis of Formal Specifications', Scientia Iranica, 8(4), e2734.

S. Sadeghipour, "Testing Reactive Systems on the Basis of Formal Specifications," Scientia Iranica, 8 4 (2001): e2734,

Sadeghipour S. Testing Reactive Systems on the Basis of Formal Specifications. Scientia Iranica. 2001;8(4):e2734.