Robustness Analysis of Networked Systems (2013)

by R Samanta, J V Deshmukh, S Chaudhuri
Venue:In Verification, Model Checking, and Abstract Interpretation (VMCAI