Modeling and Verification of Parallel Processes
Springer Berlin Heidelberg
Chapter title |
Model Checking: A Tutorial Overview
|
---|---|
Chapter number | 1 |
Book title |
Modeling and Verification of Parallel Processes
|
Published by |
Springer, Berlin, Heidelberg, June 2000
|
DOI | 10.1007/3-540-45510-8_1 |
Book ISBNs |
978-3-54-042787-2, 978-3-54-045510-3
|
Authors |
Stephan Merz, Merz, Stephan |
Country | Count | As % |
---|---|---|
Unknown | 1 | 100% |
Type | Count | As % |
---|---|---|
Members of the public | 1 | 100% |
Country | Count | As % |
---|---|---|
United Kingdom | 4 | 2% |
Italy | 3 | 2% |
Portugal | 2 | 1% |
United States | 2 | 1% |
Isle of Man | 1 | <1% |
Netherlands | 1 | <1% |
Australia | 1 | <1% |
Brazil | 1 | <1% |
Germany | 1 | <1% |
Other | 8 | 5% |
Unknown | 143 | 86% |
Readers by professional status | Count | As % |
---|---|---|
Student > Ph. D. Student | 59 | 35% |
Researcher | 32 | 19% |
Student > Master | 21 | 13% |
Student > Bachelor | 11 | 7% |
Student > Doctoral Student | 10 | 6% |
Other | 26 | 16% |
Unknown | 8 | 5% |
Readers by discipline | Count | As % |
---|---|---|
Computer Science | 128 | 77% |
Engineering | 13 | 8% |
Biochemistry, Genetics and Molecular Biology | 3 | 2% |
Mathematics | 2 | 1% |
Agricultural and Biological Sciences | 2 | 1% |
Other | 6 | 4% |
Unknown | 13 | 8% |