Infoscience
20th International Conference on Computed-Aided Verification (CAV)
July 7-14, 2008
Princeton, NJ, USA