Login / Signup
Mariya Koshkina
Publication Activity (10 Years)
Years Active: 2004-2005
Publications (10 Years): 0
</>
Publications
</>
Franck van Breugel
,
Mariya Koshkina
Dead-Path-Elimination in BPEL4WS.
ACSD
(2005)
Mariya Koshkina
,
Franck van Breugel
Modelling and verifying web service orchestration by means of the concurrency workbench.
ACM SIGSOFT Softw. Eng. Notes
29 (5) (2004)