Dmitry Zaitsev · 3 obras en el catálogoObrasClans of Petri Nets: Verification of protocols and performance evaluation of networksThe Logical Legacy of Nikolai Vasiliev and Modern LogicMMany-Valued Semantics and Modal LogicsMany-Valued Semantics and Modal Logics