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 |