| 000 | 00424nam a2200121Ia 4500 | ||
|---|---|---|---|
| 008 | 160523s9999 xx 000 0 und d | ||
| 020 | _a0-691-03436-2 | ||
| 100 | _aKurshan, R. P. | ||
| 245 | _aComputer-aided verification of coordinating processes: The automata-theoretic approach | ||
| 260 |
_aPrinceton; New Jersey _bPrinceton University Press _c1994 |
||
| 300 | _axii, 270p. | ||
| 490 | _aPrinceton series in computer science | ||
| 999 |
_c28269 _d28269 |
||