Concepedia

P. Lewis

PL

Statistics

Publications

1

Citations

19

H-Index

1

Active since

2004

Affiliations

Stony Brook University(Current)

P. Lewis is an author at Stony Brook University specializing in formal verification, formal methods, and formal specification.

Top concepts

Publications per year

2004–2004

1

Publications

1

Semantics based verification and synthesis of BPEL4WS abstract processes

Ziyang Duan, A. Bernstein, P. Lewis et al. · Proceedings. IEEE International Conference on Web Services, 2004. · 2004 · 19 citations

, , +19

1–1 of 1