Formal Methods for Industrial Critical Systems
Springer Berlin Heidelberg
Chapter title |
A Study of Shared-Memory Mutual Exclusion Protocols Using CADP
|
---|---|
Chapter number | 12 |
Book title |
Formal Methods for Industrial Critical Systems
|
Published in |
ADS, September 2010
|
DOI | 10.1007/978-3-642-15898-8_12 |
Book ISBNs |
978-3-64-215897-1, 978-3-64-215898-8
|
Authors |
Radu Mateescu, Wendelin Serwe, Mateescu, Radu, Serwe, Wendelin |
Country | Count | As % |
---|---|---|
Netherlands | 1 | 25% |
Unknown | 3 | 75% |
Readers by professional status | Count | As % |
---|---|---|
Student > Ph. D. Student | 1 | 25% |
Researcher | 1 | 25% |
Other | 1 | 25% |
Student > Master | 1 | 25% |
Readers by discipline | Count | As % |
---|---|---|
Computer Science | 3 | 75% |
Agricultural and Biological Sciences | 1 | 25% |