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.
Mendeley readers
Chapter title |
Multi-valued Model Checking in Dense-Time
|
---|---|
Chapter number | 54 |
Book title |
Symbolic and Quantitative Approaches to Reasoning with Uncertainty
|
Published by |
Springer, Berlin, Heidelberg, July 2005
|
DOI | 10.1007/11518655_54 |
Book ISBNs |
978-3-54-027326-4, 978-3-54-031888-0
|
Authors |
Ana Fernández Vilas, José J. Pazos Arias, A. Belén Barragáns Martínez, Martín López Nores, Rebeca P. Díaz Redondo, Alberto Gil Solla, Jorge García Duque, Manuel Ramos Cabrer, Vilas, Ana Fernández, Arias, José J. Pazos, Martínez, A. Belén Barragáns, Nores, Martín López, Redondo, Rebeca P. Díaz, Solla, Alberto Gil, Duque, Jorge García, Cabrer, Manuel Ramos |
Mendeley readers
The data shown below were compiled from readership statistics for 5 Mendeley readers of this research output. Click here to see the associated Mendeley record.
Geographical breakdown
Country | Count | As % |
---|---|---|
Spain | 1 | 20% |
Unknown | 4 | 80% |
Demographic breakdown
Readers by professional status | Count | As % |
---|---|---|
Professor | 2 | 40% |
Lecturer | 1 | 20% |
Lecturer > Senior Lecturer | 1 | 20% |
Student > Doctoral Student | 1 | 20% |
Professor > Associate Professor | 1 | 20% |
Other | 0 | 0% |
Readers by discipline | Count | As % |
---|---|---|
Computer Science | 5 | 100% |