Search results for: Ranveer Chandra
Formal Methods in System Design > 2018 > 53 > 1 > 33-53
IEEE Pervasive Computing > 2016 > 15 > 4 > 5 - 9
IEEE Transactions on Mobile Computing > 2012 > 11 > 2 > 189 - 203
Formal Methods in System Design > 2018 > 53 > 1 > 33-53
IEEE Pervasive Computing > 2016 > 15 > 4 > 5 - 9
IEEE Transactions on Mobile Computing > 2012 > 11 > 2 > 189 - 203