|
|
|
Volumn , Issue C-10, 1993, Pages 465-478
|
|
Verification by consecutive projections
|
|
Author keywords
[No Author keywords available]
|
|
Indexed keywords
ALGEBRA;
COMPUTATIONAL COMPLEXITY;
COMPUTER HARDWARE DESCRIPTION LANGUAGES;
FINITE AUTOMATA;
FORMAL LANGUAGES;
MATHEMATICAL OPERATORS;
NETWORK PROTOCOLS;
COMPLEXITY RELIEF TECHNIQUE;
CONSECUTIVE PROJECTIONS;
PROGRAM VERIFICATION;
SOFTWARE ENGINEERING;
|
|
EID: 0027734662
PISSN: 0926549X
EISSN: None
Source Type: Book
DOI: None Document Type: Book |
|
Times cited : (1)
|
|
References (18)
|
