Using the compatibility analysis of logical specifications of automata to solve game problems

From MaRDI portal
(Redirected from Publication:2263301)