Browsing by Author Das, Shirshendu

In order:
Results/Page
Authors/Record:
Showing results 1 to 1 of 1
DateTitleAuthor(s)Type
2012Modelling and verification of compensating transactions using the Spin toolWan, Kaiyu; Kapoor, H. K; Das, Shirshendu; Raju, B; Man, Ka Lok; Krilavičius, TomasStraipsnis konferencijos medžiagoje kitose duomenų bazėse / Article in conference proceedings in other databases (P1c)