Гелев, Димитър Albena Vassileva2025-01-29T19:53:38+02:00събота, 24 март 2018| Темпорални и вероятностни логики, системи с реално време, model-checking, формални методи и теоретична информатика. Share This Story, Choose Your Platform! FacebookTwitterRedditLinkedInWhatsAppTumblrPinterestVkXingЕлектронна поща: