N. A. Abramova, “Analysis of the external behavior of binary programs and selection schemas on the basis of local equivalent transformations”, Avtomat. i Telemekh., 1995, Issue 6,Pages <nobr>127

JOURNALS // Avtomatika i Telemekhanika // Archive

Avtomat. i Telemekh., 1995 Issue 6, Pages 127–147 (Mi at3664)

Automata

Analysis of the external behavior of binary programs and selection schemas on the basis of local equivalent transformations

N. A. Abramova

Institute of Control Sciences, Russian Academy of Sciences, Moscow

UDC: 519.715

Received: 01.09.1993

English version: Automation and Remote Control, 1995, 56:6, 869–885

Bibliographic databases: