90 followers
RT @gwensalaun: "Debugging of Behavioural Models with CLEAR", G. Barbon et al., TACAS'19, pdf available here https://t.co/FxwFtWeKhU
RT @gwensalaun: "Debugging of Behavioural Models with CLEAR", G. Barbon et al., TACAS'19, pdf available here https://t.co/FxwFtWeKhU
"Debugging of Behavioural Models with CLEAR", G. Barbon et al., TACAS'19, pdf available here https://t.co/FxwFtWeKhU