| 000 | 00542nab a2200169Ia 4500 | ||
|---|---|---|---|
| 008 | 230808s1991 |||||||f |||| 00| 0 eng d | ||
| 100 |
_aGhezzi, Carlo _9142040 |
||
| 100 |
_aMorasca, Sandro _9778159 |
||
| 100 |
_aPezze, Mauro _9791142 |
||
| 245 | 2 | _aA Unified High-Level Petri Net Formalism for Time-Critical Systems | |
| 300 | _a160-172 p. | ||
| 650 |
_aConcurrent Systems _9775208 |
||
| 650 | _aSpecification | ||
| 650 |
_aVerification _9713714 |
||
| 773 |
_d1991 _tIEEE Transactions on Software Engineering _x00985589 |
||
| 942 |
_cART _o51 _pABUL KALAM Library |
||
| 999 |
_c750050 _d750050 |
||