Model-Checking TRIO Specifications in SPIN.

Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro, Paola Spoletini

Browse the full FM paper archive.