| 000 | 00534nab a2200157Ia 4500 | ||
|---|---|---|---|
| 008 | 230808s1996 |||||||f |||| 00| 0 eng d | ||
| 100 |
_aArdis, Mark A. _9773971 |
||
| 100 |
_aPuchol, Carios _9773973 |
||
| 245 | 2 | _aA Framework for Evaluating Specification Methods for Reactive Systems Experience Report | |
| 300 | _a378-389 p. | ||
| 650 |
_a Formal Methods _9701090 |
||
| 650 | _aSpecification | ||
| 650 |
_aIndustrial Application _9773976 |
||
| 773 |
_d1996 _tIEEE Transactions on Software Engineering _x00985589 |
||
| 942 |
_cART _o51 _pABUL KALAM Library |
||
| 999 |
_c742467 _d742467 |
||