Sinfer: Inferring information flow lattices for checking self-stabilization.

Tue, 01 Jan 2013 00:00:00 +0100

Yong Hun Eom, Brian Demsky:
Sinfer: Inferring information flow lattices for checking self-stabilization. ISSRE 2013: 258-267