Articles matching “Rensink”

1. Tannaz Zameni, Petra van den Bos, Arend Rensink, Disjunction Composition of BDD Transition Systems for Model-Based Testing, pp. 3:337-350, PDF, DOI. Volume 25, no. 3 ( 2026)