Valeriĭ Aleksandrovich Nepomni︠a︡shchiĭ

1939

• Ėkonomicheskie problemy povyshenii︠a︡ nadezhnosti ėlektrosnabzhenii︠a︡
• Problemy spet︠s︡ifikat︠s︡ii i verifikat︠s︡ii parallelʹnykh sistem
• Specification, verification, and net models of concurrent systems