To search, Click below search items.
All Published Papers Search Service
Title
Creation and Static Verification of Extended Automata Knowledge Base
Author
Germanas Budnikas, Tadeu? Lozovski, Miroslav ?eibak
Vol. 12 No. 12 pp. 121-128
Keywords
Extended automata, knowledge base, static verification, decision table