| 000 | 01121cam a2200313 i 4500 | ||
|---|---|---|---|
| 001 | u74799 | ||
| 003 | SIRSI | ||
| 005 | 20240619144927.0 | ||
| 008 | 110131 eng | ||
| 020 | _a3540328696 | ||
| 020 | _a9783540328698 | ||
| 050 |
_aQA267 _b.P45 2006 |
||
| 100 | 1 |
_aPenczek, Wojciech. , _eauthor _945404 |
|
| 245 | 1 | 0 |
_aAdvances in verification of time petri nets and timed automata : _ba temporal logic approach / _cWojciech Penczek, Agata Polrola. |
| 264 | 1 |
_aNew York : _bSpringer, _c2006. |
|
| 300 |
_axxxii, 257 pages : _billustrations ; _c24 cm. |
||
| 336 |
_atext _btxt _2rdacontent |
||
| 337 |
_aunmediated _bn _2rdamedia |
||
| 338 |
_avolume _bnc _2rdacarrier |
||
| 490 | 1 |
_aStudies in computational intelligence ; _vv. 20 |
|
| 596 | _a1 3 | ||
| 650 | 0 |
_aPetri nets. _98784 |
|
| 650 | 0 |
_aReal-time control. _97094 |
|
| 650 | 0 |
_aReal-time data processing. _91639 |
|
| 700 | 1 |
_aPolrola, Agata. _9184414 |
|
| 907 |
_a.b10056117 _b07-11-22 _c12-09-17 |
||
| 998 |
_am _b06-11-22 _cm _da _e- _feng _g _h0 |
||
| 999 |
_c3216 _d3216 |
||