Tests and Proofs
Springer International Publishing
Chapter title |
A Benchmarks Library for Extended Parametric Timed Automata
|
---|---|
Book title |
Tests and Proofs
|
Published in |
arXiv, June 2021
|
DOI | 10.1007/978-3-030-79379-1_3 |
Book ISBNs |
978-3-03-079378-4, 978-3-03-079379-1
|
Authors |
Étienne André, Dylan Marinho, Jaco van de Pol, André, Étienne, Marinho, Dylan, van de Pol, Jaco |
Country | Count | As % |
---|---|---|
Unknown | 1 | 100% |
Type | Count | As % |
---|---|---|
Members of the public | 1 | 100% |
Country | Count | As % |
---|---|---|
Unknown | 2 | 100% |
Readers by professional status | Count | As % |
---|---|---|
Unspecified | 1 | 50% |
Unknown | 1 | 50% |
Readers by discipline | Count | As % |
---|---|---|
Unspecified | 1 | 50% |
Unknown | 1 | 50% |