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 |
Automated Formal Synthesis of Digital Controllers for State-Space Physical Plants
|
---|---|
Chapter number | 23 |
Book title |
Computer Aided Verification
|
Published in |
Lecture notes in computer science, July 2017
|
DOI | 10.1007/978-3-319-63387-9_23 |
Book ISBNs |
978-3-31-963386-2, 978-3-31-963387-9
|
Authors |
Alessandro Abate, Iury Bessa, Dario Cattaruzza, Lucas Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen, Abate, Alessandro, Bessa, Iury, Cattaruzza, Dario, Cordeiro, Lucas, David, Cristina, Kesseli, Pascal, Kroening, Daniel, Polgreen, Elizabeth |
Mendeley readers
The data shown below were compiled from readership statistics for 11 Mendeley readers of this research output. Click here to see the associated Mendeley record.
Geographical breakdown
Country | Count | As % |
---|---|---|
Unknown | 11 | 100% |
Demographic breakdown
Readers by professional status | Count | As % |
---|---|---|
Professor > Associate Professor | 2 | 18% |
Student > Ph. D. Student | 2 | 18% |
Lecturer > Senior Lecturer | 1 | 9% |
Other | 1 | 9% |
Student > Doctoral Student | 1 | 9% |
Other | 2 | 18% |
Unknown | 2 | 18% |
Readers by discipline | Count | As % |
---|---|---|
Computer Science | 3 | 27% |
Engineering | 3 | 27% |
Mathematics | 1 | 9% |
Psychology | 1 | 9% |
Arts and Humanities | 1 | 9% |
Other | 0 | 0% |
Unknown | 2 | 18% |