Search results for: Bikram Sengupta
Lecture Notes in Computer Science > Distributed Computing and Internet Technology > Formal Methods > 482-493
Lecture Notes in Computer Science > Integrated Formal Methods > Session: UML and Statecharts > 366-385
Cluster Computing > 2009 > 12 > 1 > 59-72
IEEE Software > 2006 > 23 > 5 > 52 - 61
IEEE Transactions on Software Engineering > 2006 > 32 > 8 > 587 - 607