Automated Technology for Verification and Analysis : Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004 : proceedings
By: Wang, Farn.
Material type:
BookSeries: 3299. Lecture notes in computer science.Publisher: Berlin: Springer, 2004Description: xii, 506 p.; ill.: 23 cm.ISBN: 9783540236108.Subject(s): Automatic theorem proving | model-checking theory | theorem-proving theory | state-space reduction | Machine Theory | Computer Literacy | parametric analysis | UML | Petri nets | real-time systemsDDC classification: 004
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| Books | 004 WAN (Browse shelf) | Available | 013383 |
There are no comments for this item.