Method of checking control automata with many-valued structural alphabet

✍ Scribed by V. V. Brovarnik

• Publisher: Springer US
• Year: 1982
• Tongue: English
• Weight: 735 KB
• Volume: 18
• Category: Article
• ISSN: 1573-8337
• DOI: 10.1007/bf01078054