И. Бурдонов, А. Косачев
Симуляция систем с отказами и разрушением
The Workshop on Program Semantics, Specification and Verification: Theory and Applications (PSSV 2010, June 14-15, 2010)
affiliated with 5th International Computer Science Symposium in Russia (CSR-2010, June 16-20, 2010)
http://csr2010.antat.ru,
Kazan, Russia.
28+4 слайда