Method of checking control automata with
โ
V. V. Brovarnik
๐
Article
๐
1982
๐
Springer US
๐
English
โ 735 KB