Automated Technology for Verification and Analysis : Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004 : proceedings
- Berlin: Springer, 2004
- xii, 506 p.; ill.: 23 cm.
- 3299 .
- Lecture notes in computer science .
9783540236108 pbk
Automatic theorem proving model-checking theory theorem-proving theory state-space reduction Machine Theory Computer Literacy parametric analysis UML Petri nets real-time systems