ISU Electrical and Computer Engineering Archives

EPrints submitted by Saayan Mitra

Click here to see user's record.

Number of EPrints submitted by this user: 1

Mitra, Saayan (2009) I/O-Automata based formal approach to Web Services Choreography. PhD thesis, Iowa State University.