Buccafurri, F. et al. 1998. COMBINING ABDUCTION AND MODEL CHECKING TECHNIQUES FOR REPAIR OF CONCURRENT PROGRAMS (EXTENDED ABSTRACT) Periodica Polytechnica Electrical Engineering. 42, 1 (Jan. 1998), 91–101.