E. V. Okunishnikova

From MaRDI portal
Person:174377

Available identifiers

zbMath Open okunishnikova.e-vMaRDI QIDQ174377

List of research outcomes





PublicationDate of PublicationType
Application of Petri nets in verification of distributed systems represented in the Estelle language2005-09-23Paper
Verification of Estelle-specified communication protocols using high-level Petri nets2002-01-06Paper
Time Petri nets with nonoverlapping firing intervals2001-04-26Paper
https://portal.mardi4nfdi.de/entity/Q45173852000-11-21Paper
https://portal.mardi4nfdi.de/entity/Q45173772000-11-21Paper
https://portal.mardi4nfdi.de/entity/Q45170422000-11-20Paper
https://portal.mardi4nfdi.de/entity/Q45170412000-11-20Paper

Research outcomes over time

This page was built for person: E. V. Okunishnikova

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