Moving Arrows and Four Model Checking Results.

Carlos Areces, Raul Fervari, Guillaume Hoffmann

Browse the full WoLLIC paper archive.