1
Computer Aided Verification (vol. # 4144) [E-Book] / 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings