Computer aided verification 11th international conference, CAV '99, Trento, Italy, July 6 - 10, 1999 ; proceedings (Springer, 1999)