Infoscience
21st International Conference on Computer Aided Verification (CAV)
June 26 - July 2, 2009.
Grenoble, France