↓ Skip to main content

Formal Methods for Industrial Critical Systems

Overview of attention for book
Attention for Chapter 13: A Formal Model of Identity Mixer
Altmetric Badge

Readers on

mendeley
23 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
A Formal Model of Identity Mixer
Chapter number 13
Book title
Formal Methods for Industrial Critical Systems
Published in
ADS, September 2010
DOI 10.1007/978-3-642-15898-8_13
Book ISBNs
978-3-64-215897-1, 978-3-64-215898-8
Authors

Jan Camenisch, Sebastian Mödersheim, Dieter Sommer, Camenisch, Jan, Mödersheim, Sebastian, Sommer, Dieter

Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Spain 1 4%
Unknown 22 96%

Demographic breakdown

Readers by professional status Count As %
Researcher 8 35%
Student > Ph. D. Student 4 17%
Student > Master 4 17%
Student > Postgraduate 2 9%
Professor > Associate Professor 1 4%
Other 1 4%
Unknown 3 13%
Readers by discipline Count As %
Computer Science 12 52%
Social Sciences 3 13%
Business, Management and Accounting 1 4%
Engineering 1 4%
Unknown 6 26%