Computer Aided Verification
Springer Science & Business Media
Chapter title |
Antichains: A New Algorithm for Checking Universality of Finite Automata
|
---|---|
Chapter number | 5 |
Book title |
Computer Aided Verification
|
Published by |
Springer, Berlin, Heidelberg, August 2006
|
DOI | 10.1007/11817963_5 |
Book ISBNs |
978-3-54-037406-0, 978-3-54-037411-4
|
Authors |
M. De Wulf, L. Doyen, T. A. Henzinger, J. -F. Raskin |
Country | Count | As % |
---|---|---|
Pakistan | 1 | 2% |
France | 1 | 2% |
Canada | 1 | 2% |
Unknown | 40 | 93% |
Readers by professional status | Count | As % |
---|---|---|
Student > Ph. D. Student | 16 | 37% |
Researcher | 5 | 12% |
Student > Bachelor | 4 | 9% |
Professor | 3 | 7% |
Student > Postgraduate | 3 | 7% |
Other | 9 | 21% |
Unknown | 3 | 7% |
Readers by discipline | Count | As % |
---|---|---|
Computer Science | 34 | 79% |
Engineering | 4 | 9% |
Nursing and Health Professions | 1 | 2% |
Agricultural and Biological Sciences | 1 | 2% |
Linguistics | 1 | 2% |
Other | 0 | 0% |
Unknown | 2 | 5% |