Tools and Algorithms for the Construction and Analysis of Systems
Springer Berlin Heidelberg
Chapter title |
Counter-Example Guided Fence Insertion under TSO
|
---|---|
Chapter number | 15 |
Book title |
Tools and Algorithms for the Construction and Analysis of Systems
|
Published by |
Springer, Berlin, Heidelberg, March 2012
|
DOI | 10.1007/978-3-642-28756-5_15 |
Book ISBNs |
978-3-64-228755-8, 978-3-64-228756-5
|
Authors |
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Carl Leonardsson, Ahmed Rezine, Abdulla, Parosh Aziz, Atig, Mohamed Faouzi, Chen, Yu-Fang, Leonardsson, Carl, Rezine, Ahmed |
Country | Count | As % |
---|---|---|
Unknown | 4 | 100% |
Readers by professional status | Count | As % |
---|---|---|
Professor > Associate Professor | 1 | 25% |
Student > Postgraduate | 1 | 25% |
Student > Master | 1 | 25% |
Unknown | 1 | 25% |
Readers by discipline | Count | As % |
---|---|---|
Computer Science | 3 | 75% |
Unknown | 1 | 25% |