Search results for: Purandar Bhaduri
Algebra universalis > 2018 > 79 > 1 > 1-29
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Compositional Verification and Games > 338-353
IEEE Transactions on Mobile Computing > 2015 > 14 > 8 > 1644 - 1658
Ad Hoc Networks > 2014 > 13 > Part B > 336-350
Formal Aspects of Computing > 2008 > 20 > 2 > 205-224
Electronic Notes in Theoretical Computer Science > 2005 > 118 > Complete > 37-55
Electronic Notes in Theoretical Computer Science > 2002 > 65 > 7 > 1-17