| 000 | 00567nab a2200157Ia 4500 | ||
|---|---|---|---|
| 008 | 230808s1994 |||||||f |||| 00| 0 eng d | ||
| 100 |
_aHigashino, Teruo _9143318 |
||
| 100 |
_aBochmann, Gregor V. _9774318 |
||
| 245 | 0 | _aAutomatic Analysis and Test Case Derivation for a Restricted Class of Lotos Expressions with Data Parameters | |
| 300 | _a29-42 p. | ||
| 650 |
_aAutomatic Test Case Derivation _9776779 |
||
| 650 |
_aProtocol Models _9776780 |
||
| 650 |
_aLotos _9767330 |
||
| 773 |
_d1994 _tIEEE Transactions on Software Engineering _x00985589 |
||
| 942 |
_cART _o51 _pABUL KALAM Library |
||
| 999 |
_c743686 _d743686 |
||