| 000 | 00670nam a2200193 4500 | ||
|---|---|---|---|
| 008 | 160616s2004. 000 0 | ||
| 245 |
_aFormal methods for the design of real-time systems: international school on formal methods for the design of computer, communication, and software systems, _bBertinora, Italy, September 13-18, 2004, revised lectures |
||
| 100 | _aBernardo, Marco | ||
| 100 | _aCorradini, Flavio Eds., | ||
| 250 | _a1st ed. | ||
| 260 | _aNew York, NY | ||
| 260 | _bSpringer | ||
| 260 | _c2004. | ||
| 300 | _a293 | ||
| 440 | _aLecture notes in computer science ; 03185 | ||
| 020 | _a3540230688 | ||
| 942 |
_cBK _2BK19360 |
||
| 080 | _a681 LNCS | ||
| 999 |
_c19360 _d19360 |
||