| 000 | 00313nam a22000977a 4500 | ||
|---|---|---|---|
| 008 | 131023b xxu||||| |||| 00| 0 eng d | ||
| 020 |
_a978-0-521-88333-7 _cAvailable |
||
| 050 | _a519.2HEN | ||
| 245 |
_aReal-Time Systems Formal Specification and Automatic Verification _cHenning Dierks |
||
| 260 |
_aGermany _bCambridge _c2008 |
||
| 999 |
_c23448 _d23448 |
||