Browsing by Author Kapoor, H. K

In order:
Results/Page
Authors/Record:
Showing results 1 to 2 of 2
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)
2011Specification and analysis of NCL circuitsMa, J; Kapoor, H. K; Man, Ka Lok; Zhang, N; Lim, E. G; Jeong, T. T; Guan, S. U; Seon, J. K; Krilavičius, TomasStraipsnis konferencijos medžiagoje kitose duomenų bazėse / Article in conference proceedings in other databases (P1c)