Mukherjee, Anshuman.
Overview
| Works: | 1 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Verification of communication protocols in web services = model-checking service compositions /
by:
Tari, Zahir.; Mukherjee, Anshuman.; Bertók, Péter, (1952-)
(Electronic resources)