Mariya Koshkina

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2005

2 Franck van Breugel, Mariya Koshkina: Dead-Path-Elimination in BPEL4WS. ACSD 2005: 192-201

2004

1 Mariya Koshkina, Franck van Breugel: Modelling and verifying web service orchestration by means of the concurrency workbench. ACM SIGSOFT Software Engineering Notes 29(5): 1-10 (2004)

	2005
2		Franck van Breugel, Mariya Koshkina: Dead-Path-Elimination in BPEL4WS. ACSD 2005: 192-201
	2004
1		Mariya Koshkina, Franck van Breugel: Modelling and verifying web service orchestration by means of the concurrency workbench. ACM SIGSOFT Software Engineering Notes 29(5): 1-10 (2004)

Coauthor Index