Search results for: Holger Hermanns
IEEE Transactions on Reliability > 2015 > 64 > 4 > 1254 - 1275
Formal Methods in System Design > 2013 > 43 > 2 > 191-232
IEEE Transactions on Reliability > 2015 > 64 > 4 > 1254 - 1275
Formal Methods in System Design > 2013 > 43 > 2 > 191-232