Clemens Ballarin posted a discussion
Clemens Ballarin. Two Generalisations of Roşu and Chen's Trace Slicing Algorithm A. In B. Bonakdarpour and S.A. Smolka, RV 2014, LNCS 8734, pages 15–30, 2014. © Springer (Publisher's Version)Roşu and Chen's algorithm is at the core of the JavaMOP ru…
Oct 1, 2014
Clemens Ballarin updated their profile
May 7, 2014
Clemens Ballarin is now a member of CONCERTO Project
May 7, 2014
CONCERTO is partially funded by the ARTEMIS Joint Undertaking under the 7th Framework Programme for Information and Communications Technologies.
Any opinions expressed on these pages are those of the author / organisation and do not necessarily reflect the views of the ARTEMIS JU or the European Commission.