Tools and algorithms for the construction and analysis of systems : 14th international conference, TACAS 2008, held as part of the joint european conferences on theory and practice of software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008: proceedings / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный.