| |
| 2007 | ||
|---|---|---|
| 2 | EE | Indranil Saha, Janardan Misra, Suman Roy: Timeout and Calendar Based Finite State Modeling and Verification of Real-Time Systems. ATVA 2007: 284-299 |
| 2002 | ||
| 1 | EE | Rana Barua, Janardan Misra: Binary Arithmetic for DNA Computers. DNA 2002: 124-132 |
| 1 | Rana Barua | [1] |
| 2 | Suman Roy | [2] |
| 3 | Indranil Saha | [2] |