↓ Skip to main content

Web Services and Formal Methods

Overview of attention for book
Attention for Chapter 4: Analyzing BPEL4Chor: Verification and Participant Synthesis
Altmetric Badge

Readers on

mendeley
21 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Analyzing BPEL4Chor: Verification and Participant Synthesis
Chapter number 4
Book title
Web Services and Formal Methods
Published by
Springer, Berlin, Heidelberg, September 2007
DOI 10.1007/978-3-540-79230-7_4
Book ISBNs
978-3-54-079229-1, 978-3-54-079230-7
Authors

Niels Lohmann, Oliver Kopp, Frank Leymann, Wolfgang Reisig

Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 21 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Sri Lanka 1 5%
France 1 5%
Brazil 1 5%
Unknown 18 86%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 12 57%
Researcher 3 14%
Professor 2 10%
Student > Master 2 10%
Other 1 5%
Other 1 5%
Readers by discipline Count As %
Computer Science 21 100%