On checking experiments with non-deterministic automata

Avtomatika i Vychislitel'naya Tekhnika

Volumn , Issue 6, 1991, Pages 81-85

  Evtushenko, N V ^a   Lebedev, A V ^a   Petrenko, A F ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER METATHEORY; COMPUTER NETWORKS - PROTOCOLS; MATHEMATICAL TECHNIQUES - SET THEORY;

CHECKING EXPERIMENTS; NONDETERMINATED AUTOMATA;

AUTOMATA THEORY;

EID: 0026259727     PISSN: 01324160     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (5)