Runtime verification : 8th International workshop, RV 2008, Budapest, Hungary, March 30, 2008: selected papers / ed. M. Leucker, 2008 r=on-line. - Текст : электронный.
Aachener Informatik : Berichte / RWTH. 2002-10 : Logics for Mazurkiewicz traces / M.Leucker, 2002. - IV, 176 p. 176 p. - Текст : непосредственный.