Title of article
Submodule construction from concurrent system specifications
Author/Authors
E. Haghverdi، نويسنده , , H. Ural، نويسنده ,
Issue Information
ماهنامه با شماره پیاپی سال 1999
Pages
8
From page
499
To page
506
Keywords
Concurrent Systems , Stepwise refinement , Submodule construction problem
Journal title
Information and Software Technology
Serial Year
1999
Journal title
Information and Software Technology
Record number
134626
Link To Document