FM 2015: Formal Methods
Springer International Publishing
| Chapter title |
Verifying Opacity of a Transactional Mutex Lock
|
|---|---|
| Chapter number | 11 |
| Book title |
FM 2015: Formal Methods
|
| Published in |
Lecture notes in computer science, June 2015
|
| DOI | 10.1007/978-3-319-19249-9_11 |
| Book ISBNs |
978-3-31-919248-2, 978-3-31-919249-9
|
| Authors |
Derrick, John, Dongol, Brijesh, Schellhorn, Gerhard, Travkin, Oleg, Wehrheim, Heike, John Derrick, Brijesh Dongol, Gerhard Schellhorn, Oleg Travkin, Heike Wehrheim |
| 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 % |
|---|---|---|
| Lecturer | 1 | 100% |
| Readers by discipline | Count | As % |
|---|---|---|
| Computer Science | 1 | 100% |