RUS  ENG
Full version
PEOPLE

Liburkin Dmitry L

Publications in Math-Net.Ru

  1. The Compiler of Tabular Representations of Mealy Machines into Programs in the SMV Language that Automates Verification of Computer Projects Using the Model Verification

    Sistemy i Sredstva Inform., 20:3 (2010),  4–16

© Steklov Math. Inst. of RAS, 2024