Computer aided verification : 17th international conference, CAV 2005 Edinburgh, Scotland, UK, July 6-10, 2005: proceedings / ed. K. Etessami, 2005 r=on-line. - Текст : электронный.