Next generation service systems
Process design, simulation, and verification
Ph.D. North Carolina State University, 2007
M.S. North Carolina state University, 2003
B.E. Gujarat University, 2001
DBLP Listing and Google Scholar
Promela specification of the FPR example is here
IBM is not responsible for, and does not validate or confirm, the correctness or accuracy of any user content posted. IBM does not endorse any user content. User content does not represent the views or opinions of IBM. IBM, in its sole discretion, reserves the right to remove any content.