Model Checking Well-Behaved Fragments of HS: The (Almost) Final Picture.

Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala

Browse the full KR paper archive.