Kurokhtin Vitalii Valer'evich

Publications in Math-Net.Ru

1. Optimization of Calculating Invariants in Petri Nets to Support the Creation of Integration Testing Scenarios
   
   Model. Anal. Inform. Sist., 19:4 (2012),  128–143