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 |
Interval Abstraction Refinement for Model Checking of Timed-Arc Petri Nets
|
---|---|
Chapter number | 17 |
Book title |
Formal Modeling and Analysis of Timed Systems
|
Published by |
Springer, Cham, September 2014
|
DOI | 10.1007/978-3-319-10512-3_17 |
Book ISBNs |
978-3-31-910511-6, 978-3-31-910512-3
|
Authors |
Sine Viesmose Birch, Thomas Stig Jacobsen, Jacob Jon Jensen, Christoffer Moesgaard, Niels Nørgaard Samuelsen, Jiří Srba, Viesmose Birch, Sine, Stig Jacobsen, Thomas, Jon Jensen, Jacob, Moesgaard, Christoffer, Nørgaard Samuelsen, Niels, Srba, Jiří |
Mendeley readers
The data shown below were compiled from readership statistics for 1 Mendeley reader of this research output. Click here to see the associated Mendeley record.
Geographical breakdown
Country | Count | As % |
---|---|---|
Unknown | 1 | 100% |
Demographic breakdown
Readers by professional status | Count | As % |
---|---|---|
Student > Postgraduate | 1 | 100% |
Readers by discipline | Count | As % |
---|---|---|
Computer Science | 1 | 100% |