Using Incremental SAT for Testing Diagnosability of Distributed DES.

Hassan Ibrahim, Philippe Dague, Laurent Simon

Browse the full SAFEProcess paper archive.