1
Computer Aided Verification (vol. # 4144) [E-Book] / 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings
Other Personal Name(s): “...Ball, Thomas...”

Full text 
Favorites
Saved in:
2
Model Checking Software [E-Book] : 10th International SPIN Workshop Portland, OR, USA, May 9–10, 2003 Proceedings /
Other Personal Name(s): “...Ball, Thomas....”

Full text 
Favorites
Saved in:
3
Energy aftermath /
Book
Other Personal Name(s): “...Lee, Thomas H....”
Loan/Reservation

Favorites
Saved in:

Narrow Search Results