Antonina N. Nepeivoda

From MaRDI portal
Person:739637

Available identifiers

zbMath Open nepeivoda.antonina-nMaRDI QIDQ739637

List of research outcomes





PublicationDate of PublicationType
Program specialization as a tool for solving word equations2024-11-29Paper
Ping-pong protocols as prefix grammars: modelling and verification via program transformation2016-08-18Paper
Technical systems in logic: questions of formalization and automatic verification2013-10-23Paper
Verification of a technical system model with linear temporal logic2013-03-22Paper

Research outcomes over time

This page was built for person: Antonina N. Nepeivoda

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