| 000 | 00546nam a2200169 4500 | ||
|---|---|---|---|
| 008 | 160616s2010 000 0 | ||
| 245 |
_aAutomated technology for verification and analysis _b8th International symposium, ATVA 2010, Singapore, September 2010 Proceedings |
||
| 100 | _aBouajjani, Ahmed | ||
| 100 | _aChin, Wei-Ngan Eds., | ||
| 260 | _c2010 | ||
| 260 | _bSpringer | ||
| 440 | _aLecture Notes in Computer Science; 006252 | ||
| 020 | _a9783642156427 | ||
| 650 | _aComputer Science | ||
| 942 |
_cBK _2BK24988 |
||
| 080 | _a681 LNCS | ||
| 999 |
_c24988 _d24988 |
||