| 000 | 00447nab a2200133Ia 4500 | ||
|---|---|---|---|
| 008 | 230808s2002 |||||||f |||| 00| 0 eng d | ||
| 100 |
_aFrey, D _9827137 |
||
| 245 | 2 | _aA for mal Specification and Verification Frame Work for Time Wrap Based Parallel Simulation | |
| 300 | _a58-78 p. | ||
| 650 | _aIntroduction | ||
| 650 |
_a for mal Verification _9786846 |
||
| 773 |
_d2002 _tIeee Transactions on Software Engineering _x00985589 |
||
| 942 |
_cART _o51 _pABUL KALAM Library |
||
| 999 |
_c776012 _d776012 |
||