A Model-Checking Tool for Families of Services.

Patrizia Asirelli, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi

Browse the full FORTE paper archive.