Formal methods in software and systems modeling / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный.
Dynamics in logistics : first international conference, LDIC 2007, Bremen, Germany, August 2007: proceedings / ed. H. Kreowski, 2008 r=on-line. - Текст : электронный.