| 000 | 00600nab a2200157Ia 4500 | ||
|---|---|---|---|
| 008 | 230808s1992 |||||||f |||| 00| 0 eng d | ||
| 100 |
_aPapelis, Yiannis E. _9790997 |
||
| 100 |
_aCasavant, Thomas L. _9790999 |
||
| 245 | 0 | _aSpecification and Analysis of Paraliel/Distributed Sofware and Systems by Petri Nets with Transition Enabling Functions | |
| 300 | _a252-261 p. | ||
| 650 |
_aDistributed Software _9791001 |
||
| 650 |
_aParaliel Software Structure _9791003 |
||
| 650 |
_aSoftware Specification _9769116 |
||
| 773 |
_d1992 _tIEEE Transactions on Software Engineering _x00985589 |
||
| 942 |
_cART _o51 _pABUL KALAM Library |
||
| 999 |
_c749986 _d749986 |
||