Gribovskaya Nataliya Sergeevna

Publications in Math-Net.Ru

1. Logic unification behavioral equivalences of timed event structures
   
   Vestn. Novosib. Gos. Univ., Ser. Mat. Mekh. Inform., 13:1 (2013),  32–46