Paper Info
Title
Using Incremental SAT for Testing Diagnosability of Distributed DES.
Year
Venue
DocType
2015
DX@Safeprocess
Conference
Citations 
PageRank 
References 
0
0.34
6
Authors
3
Name
Order
Citations
PageRank
Hassan Ibrahim101.35
Philippe Dague224828.20
Laurent Simon3384.25