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 |
Verification of Solid State Interlocking Programs
|
---|---|
Chapter number | 19 |
Book title |
Software Engineering and Formal Methods
|
Published by |
Springer, Cham, September 2013
|
DOI | 10.1007/978-3-319-05032-4_19 |
Book ISBNs |
978-3-31-905031-7, 978-3-31-905032-4
|
Authors |
Phillip James, Andy Lawrence, Faron Moller, Markus Roggenbach, Monika Seisenberger, Anton Setzer, Karim Kanso, Simon Chadwick, James, Phillip, Lawrence, Andy, Moller, Faron, Roggenbach, Markus, Seisenberger, Monika, Setzer, Anton, Kanso, Karim, Chadwick, Simon |
Mendeley readers
The data shown below were compiled from readership statistics for 4 Mendeley readers of this research output. Click here to see the associated Mendeley record.
Geographical breakdown
Country | Count | As % |
---|---|---|
Unknown | 4 | 100% |
Demographic breakdown
Readers by professional status | Count | As % |
---|---|---|
Unspecified | 1 | 25% |
Professor > Associate Professor | 1 | 25% |
Student > Bachelor | 1 | 25% |
Student > Master | 1 | 25% |
Readers by discipline | Count | As % |
---|---|---|
Computer Science | 2 | 50% |
Unspecified | 1 | 25% |
Engineering | 1 | 25% |