Model checking and artificial intelligence : 4th workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006: revised selected and invited papers / ed. S. Edelkamp, 2007 r=on-line. - Текст : электронный.