Magdalina Todorova

From MaRDI portal
Person:2822182

Available identifiers

zbMath Open todorova.magdalina-vMaRDI QIDQ2822182

List of research outcomes





PublicationDate of PublicationType
https://portal.mardi4nfdi.de/entity/Q52440712019-11-19Paper
GN IDE: implementation, improvements and algorithms2016-09-27Paper
Using generalized nets for programme verification2015-02-03Paper
Correctness of the formal generalized net project of the connections between procedural program functions2014-04-07Paper
Algorithm of construction of a type and its realization in the language W2006-01-23Paper
https://portal.mardi4nfdi.de/entity/Q33655782006-01-23Paper
https://portal.mardi4nfdi.de/entity/Q42868821994-04-12Paper
https://portal.mardi4nfdi.de/entity/Q37668421986-01-01Paper

Research outcomes over time

This page was built for person: Magdalina Todorova

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2822182&oldid=7400368"
Powered by MediaWiki