Debugging of Behavioural Models with CLEAR.

Gianluca Barbon, Vincent Leroy, Gwen Salan

Browse the full TACAS paper archive.