FM 2015: Formal Methods
Springer International Publishing
Chapter title |
Probabilistic Bisimulation for Realistic Schedulers
|
---|---|
Chapter number | 16 |
Book title |
FM 2015: Formal Methods
|
Published in |
Lecture notes in computer science, June 2015
|
DOI | 10.1007/978-3-319-19249-9_16 |
Book ISBNs |
978-3-31-919248-2, 978-3-31-919249-9
|
Authors |
Eisentraut, Christian, Godskesen, Jens Chr., Hermanns, Holger, Song, Lei, Zhang, Lijun, Christian Eisentraut, Jens Chr. Godskesen, Holger Hermanns, Lei Song, Lijun Zhang |
Editors |
Nikolaj Bjørner, Frank de Boer |
Country | Count | As % |
---|---|---|
Unknown | 1 | 100% |
Type | Count | As % |
---|---|---|
Members of the public | 1 | 100% |
Country | Count | As % |
---|---|---|
Unknown | 1 | 100% |
Readers by professional status | Count | As % |
---|---|---|
Student > Ph. D. Student | 1 | 100% |
Readers by discipline | Count | As % |
---|---|---|
Computer Science | 1 | 100% |