000 00530nab a2200169Ia 4500
008 230808s1994 |||||||f |||| 00| 0 eng d
100 _aLuo, Gang
_9755126
100 _aDas, Anindya
_9777075
100 _aBochmann, Gregor V.
_9774318
245 2 _aA Formal Model for Module Interconnection Languages
300 _a88-101 p.
650 _aCcitt Sdl
_9777076
650 _aCommunication Software
650 _aSoftware Testing
_9727704
773 _d1994
_tIEEE Transactions on Software Engineering
_x00985589
942 _cART
_o51
_pABUL KALAM Library
999 _c743814
_d743814