From Natural Projection to Partial Model Checking and Back.

Gabriele Costa, David A. Basin, Chiara Bodei, Pierpaolo Degano, Letterio Galletta

Browse the full TACAS paper archive.