BUCCAFURRI, Francesco; EITER, Thomas; GOTTLOB, Georg; LEONE, Nicola. COMBINING ABDUCTION AND MODEL CHECKING TECHNIQUES FOR REPAIR OF CONCURRENT PROGRAMS (EXTENDED ABSTRACT) Periodica Polytechnica Electrical Engineering, [S. l.], v. 42, n. 1, p. 91–101, 1998. Disponível em: https://pp.bme.hu/ee/article/view/4375. Acesso em: 18 may. 2024.