Anshuman Mukherjee

Publication Activity (10 Years)

Years Active: 2009-2011
Publications (10 Years): 0

Publications

Anshuman Mukherjee, Zahir Tari, Peter Bertók
A Spring Based Framework for Verification of Service Composition. IEEE SCC (2011)
Anshuman Mukherjee, Zahir Tari, Peter Bertók
Memory efficient state-space analysis in software model-checking. ACSC (2010)
Anshuman Mukherjee, Zahir Tari, Peter Bertók
Modeling of BPEL Composite Services Using Clustered Coloured Petri-Nets. SERVICES II (2009)