000 00410nam a2200133Ia 4500
008 211018s9999||||xx |||||||||||||| ||und||
082 _a5.117
_bAJ-A
100 _aAjad
_928093
245 0 _a Automation driven specification and verification of UML 2.0 sequence diagram
_cAjad
250 _aDr. B.R. A
260 _aJalandhar
_bDr. B.R. Ambedkar National Institute of
_c2014
300 _axii; 60p
942 _cTH
999 _c195790
_d195790