Travelled to:
1 × Korea
Collaborated with:
N.R.Adam C.Bornhövd
Talks about:
orchestr (1) servic (1) verif (1) web (1) use (1) net (1) msc (1)
Person: Aabhas V. Paliwal
DBLP: Paliwal:Aabhas_V=
Contributed to:
Wrote 1 papers:
- SAC-2007-PaliwalAB #distributed #using #verification #web #web service
- Web service orchestration and verification using MSC and CP nets (AVP, NRA, CB), pp. 1693–1694.