Гелев, Димитър Albena Vassileva2020-09-03T10:49:38+03:00събота, 24 март 2018| Темпорални и вероятностни логики, системи с реално време, model-checking, формални методи и теоретична информатика. Share This Story, Choose Your Platform! FacebookTwitterRedditLinkedInWhatsAppTumblrPinterestVkXingEmail