Dmitry Zaitsev
Identifiers
- Open LibraryOL7468082A
Books by Dmitry Zaitsev
Total count: 3
Clans of Petri Nets: Verification of protocols and performance evaluation of networksLAP LAMBERT Academic Publishing2013-06-29
The Logical Legacy of Nikolai Vasiliev and Modern LogicSpringer2017-11-21-
Many-Valued Semantics and Modal LogicsEssays in Honour of Yuriy Vasilievich IvlevSpringer International Publishing AG2024-01-01