E. V. Kuzmin

Available identifiers

zbMath Open kuzmin.egor-vladimirovichMaRDI QIDQ542238

List of research outcomes

Publication	Date of Publication	Type
LTL-specification for development and verification of control programs	2024-01-29	Paper
The Zhegalkin Polynomial of Multiseat Sole Sufficient Operator	2023-10-05	Paper
LTL-Specification of Counter Machines	2023-01-24	Paper
LTL-specification of bounded counter machines	2022-09-21	Paper
Boundedness problems for Minsky counter machines	2011-06-08	Paper
Boundedness problems for Minsky counter machines	2010-09-24	Paper
Modeling, specification, and verification of automaton programs	2009-09-04	Paper
Application of the trace assertion method to the specification, design, and verification of automaton programs	2009-09-04	Paper
https://portal.mardi4nfdi.de/entity/Q5394328	2006-10-30	Paper
https://portal.mardi4nfdi.de/entity/Q3023539	2005-07-05	Paper

Research outcomes over time

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