Paul Mukherjee

发表

Victoria Stavridou, Paul Mukherjee, 2004, Real-Time Systems.
Paul Mukherjee, 1995, Softw. Eng. J..
Victoria Stavridou, Paul Mukherjee, 1992, Fourth Euromicro workshop on Real-Time Systems.
Peter Gorm Larsen, Kim Sunesen, Paul Mukherjee, 2000, Formal Aspects of Computing.
Victoria Stavridou, Paul Mukherjee, 2005, Formal Aspects of Computing.
Paul Mukherjee, 1996 .
Victoria Stavridou, Paul Mukherjee, 2005, Formal Aspects of Computing.
Paul Mukherjee, P. Mukherjee, 1994, FME.
Paul Mukherjee, 1998 .
John Fitzgerald, Paul Mukherjee, 1998, Proof in VDM.
Peter Gorm Larsen, Marcel Verhoef, John Fitzgerald, 2004 .
Peter Gorm Larsen, Paul Mukherjee, Stephen Paynter, 2000 .
Peter Gorm Larsen, Paul Mukherjee, Stephen Paynter, 2000 .