Infoscience
Computer Aided Verification. 13th International Conference, CAV 2001. Proceedings
Berlin, Germany