%0 Journal Article %T Testing Reactive Systems on the Basis of Formal Specifications %J Scientia Iranica %I Sharif University of Technology %Z 1026-3098 %A Sadeghipour, S. %D 2001 %\ 01/01/2001 %V 8 %N 4 %P - %! Testing Reactive Systems on the Basis of Formal Specifications %R %X %U https://scientiairanica.sharif.edu/article_2734_f7b0c23c6b010c73c5584c0b85fd9194.pdf