General method of testing the compatibility of interacting automata with finite memory
From MaRDI portal
Publication:1582909
DOI10.1007/BF02742277zbMath0968.68083MaRDI QIDQ1582909
Publication date: 13 May 2001
Published in: Cybernetics and Systems Analysis (Search for Journal in Brave)
Related Items (3)
Harmonization of automata specifications represented in the language L ⋮ Harmonization of interacting automata ⋮ Using the compatibility analysis of logical specifications of automata to solve game problems
Cites Work
This page was built for publication: General method of testing the compatibility of interacting automata with finite memory
