|
|
|
Publications in Math-Net.Ru |
Citations |
|
2010 |
| 1. |
S. Frenkel, A. Kurts, D. Liburkin, N. Fandjushina, B. Anders, “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  |
|
