Oleg Parshin

发表

Reinhard Wilhelm, Tulika Mitra, Guillem Bernat, 2004 .

Oleg Parshin, Reinhold Heckmann, Christian Ferdinand, 2006, Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006).

Natalia Buzalo, Oleg Parshin, Alexey Bulgakov, 2016 .

Reinhard Wilhelm, Oleg Parshin, Reinhold Heckmann, 2006, ASWSD.

Reinhard Wilhelm, Oleg Parshin, Philipp Lucas, 2012, Advances in Real-Time Systems.

Abdur Rakib, Reinhard Wilhelm, Oleg Parshin, 2004, ATVA.

Reinhard Wilhelm, Oleg Parshin, Philipp Lucas, 2013 .