SOFSEM 2011: Theory and Practice of Computer Science
Springer Berlin Heidelberg
Chapter title |
Verification of Timed-Arc Petri Nets
|
---|---|
Chapter number | 4 |
Book title |
SOFSEM 2011: Theory and Practice of Computer Science
|
Published in |
ADS, January 2011
|
DOI | 10.1007/978-3-642-18381-2_4 |
Book ISBNs |
978-3-64-218380-5, 978-3-64-218381-2
|
Authors |
Lasse Jacobsen, Morten Jacobsen, Mikael H. Møller, Jiří Srba, Jacobsen, Lasse, Jacobsen, Morten, Møller, Mikael H., Srba, Jiří |
Country | Count | As % |
---|---|---|
Unknown | 14 | 100% |
Readers by professional status | Count | As % |
---|---|---|
Student > Master | 4 | 29% |
Student > Doctoral Student | 3 | 21% |
Researcher | 2 | 14% |
Student > Ph. D. Student | 1 | 7% |
Librarian | 1 | 7% |
Other | 1 | 7% |
Unknown | 2 | 14% |
Readers by discipline | Count | As % |
---|---|---|
Computer Science | 11 | 79% |
Engineering | 1 | 7% |
Unknown | 2 | 14% |