Formal Validation of the GUARDS Inter-Consistency Mechanism.

Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi

Browse the full SAFECOMP paper archive.