E. N. Bozhenkova

From MaRDI portal
Person:1592079

Available identifiers

zbMath Open bozhenkova.elena-nMaRDI QIDQ1592079

List of research outcomes





PublicationDate of PublicationType
Testing equivalences of time Petri nets2020-12-18Paper
https://portal.mardi4nfdi.de/entity/Q29638922017-02-21Paper
Compositional Methods in Characterization of Timed Event Structures2015-12-07Paper
Composition methods for constructing characteristic formulas for dense-time models2013-02-26Paper
https://portal.mardi4nfdi.de/entity/Q30743672011-02-08Paper
https://portal.mardi4nfdi.de/entity/Q30235382005-07-05Paper
https://portal.mardi4nfdi.de/entity/Q31529322002-11-03Paper
Analysis of equivalence relations of event structures with continuous time2001-01-15Paper
https://portal.mardi4nfdi.de/entity/Q45078112000-10-10Paper
https://portal.mardi4nfdi.de/entity/Q49473112000-04-16Paper

Research outcomes over time

This page was built for person: E. N. Bozhenkova

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