Buccafurri F, Eiter T, Gottlob G, Leone N. COMBINING ABDUCTION AND MODEL CHECKING TECHNIQUES FOR REPAIR OF CONCURRENT PROGRAMS (EXTENDED ABSTRACT) Period. Polytech. Elec. Eng. [Internet]. 1998 Jan. 1 [cited 2024 Dec. 25];42(1):91-101. Available from: https://pp.bme.hu/ee/article/view/4375