M Joseph, P Pandya

The Computer Journal 29 (5), 390-395, 1986

PK Pandya

RTTOOLS 2001 Workshop (affiliated with CONCUR 2001), 2001

R Kazhamiakin, P Pandya, M Pistore

2006 IEEE International Conference on Web Services (ICWS'06), 497-504, 2006

R Kazhamiakin, P Pandya, M Pistore

First International Conference on Availability, Reliability and Security …, 2006

PK Pandya, M Joseph

Distributed Computing 5 (1), 37-54, 1991

PK Pandya, D Van Hung

Formal Techniques in Real-Time and Fault-Tolerant Systems: 5th International …, 1998

MR Hansen, PK Pandya, Z Chaochen

Theoretical Computer Science 138 (1), 113-139, 1995

PV Suman, PK Pandya, SN Krishna, L Manasa

International conference on formal modeling and analysis of timed systems, 78-92, 2008

PK Pandya

International Conference on Tools and Algorithms for the Construction and …, 2001

PK Pandya

Electronic Notes in Theoretical Computer Science 65 (6), 254-272, 2002

Y Xinyao, W Ji, Z Chaochen, P Pandya

Formal Techniques in Real-Time and Fault-Tolerant Systems, 738-755, 1994

S Mohalik, AC Rajeev, MG Dixit, S Ramesh, PV Suman, PK Pandya, ...

Proceedings of the 45th annual Design Automation Conference, 296-299, 2008

G Chakravorty, PK Pandya

Computer Aided Verification: 15th International Conference, CAV 2003 …, 2003

PK Pandya

International Workshop on Computer Science Logic, 434-451, 1995

B Sharma, PK Pandya, S Chakraborty

Tools and Algorithms for the Construction and Analysis of Systems: 11th …, 2005

PK Pandya, HP Wang, QW Xu

Proc. IFIP Working Conference PROCOMET 98, 366-384, 1998

J Bowen, H Jifeng, P Pandya

Programming Language Implementation and Logic Programming: International …, 1990

CAR Hoare, H Jifeng, J Bowen, P Pandya

ESPRIT’90: Proceedings of the Annual ESPRIT Conference Brussels, November 12 …, 1990

K Lodaya, P Pandya, S Shah

Fifth Ifip International Conference On Theoretical Computer Science–Tcs 2008 …, 2008

PK Pandya

Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness …, 1990