| 000 | 00614nam a2200193 a 4500 | ||
|---|---|---|---|
| 008 | 170703s1994####gw ||||f#|||||00| 0#ger#d | ||
| 003 | AR-SmCIES | ||
| 022 | _a0303-4003 | ||
| 024 | 8 | _aKfK 5279 | |
| 041 | 7 |
_ade _2ISO 639-1 |
|
| 091 | _a41467 | ||
| 100 | 1 | _aDüpmeier, C. | |
| 710 | 2 | _aKernforschungszentrum Karlsruhe | |
| 245 | 1 | 0 | _aAlgebraic specification and modelling in high level Petri nets with a state dependent firing rule. |
| 260 |
_aKarlsruhe : _bKernforschungszentrum Karlsruhe, _c1994. |
||
| 300 | _a147 p. | ||
| 999 |
_c17851 _d17851 |
||