Authors: CHEBOTAREV AN MOROKHOVETS MK

Citation: An. Chebotarev et Mk. Morokhovets, RESOLUTION-BASED APPROACH TO COMPATIBILITY ANALYSIS OF INTERACTING AUTOMATA, Theoretical computer science, 194(1-2), 1998, pp. 183-205

Authors: ATAYAN VV MOROKHOVETS MK

Citation: Vv. Atayan et Mk. Morokhovets, COMBINING FORMAL DERIVATION SEARCH PROCEDURES AND NATURAL THEOREM-PROVING TECHNIQUES IN AN AUTOMATED THEOREM-PROVING SYSTEM, Cybernetics and systems analysis, 32(3), 1996, pp. 442-465

Authors: MOROKHOVETS MK CHEBOTAREV AN

Citation: Mk. Morokhovets et An. Chebotarev, RESOLUTION APPROACH TO TESTING COMPATIBILITY OF INTERACTING AUTOMATA, Cybernetics and systems analysis, 30(6), 1994, pp. 820-829