Publications

AuthID
P-003-D3Y

Author(s)

Editor(s)

Laneve, C; Su, JW

Document Type

Proceedings Paper

Year published

2010

Published

in WEB SERVICES AND FORMAL METHODS in Lecture Notes in Computer Science, ISSN: 0302-9743

Volume: 6194, Pages: 161-177 (17)

Conference

6Th International Workshop on Web Services and Formal Methods, Date: SEP 04-05, 2009, Location: Bologna, ITALY

Indexing

Wos^®

Scopus^®

Crossref^®

Google Scholar^®

Publication Identifiers

DOI: 10.1007/978-3-642-14458-5_10

Scopus: 2-s2.0-77958451568

Wos: WOS:000285700100010

Source Identifiers

ISSN: 0302-9743

Export Publication Metadata

Marked List

Info

At this moment we don't have any links to full text documens.

Useful Links