PDF:
Towards Reliable Benchmarks of Timed Automata
| Title | Towards Reliable Benchmarks of Timed Automata |
| Publication Type | Conference Paper |
| Year of Publication | 2018 |
| Authors | Farkas, R., and Bergmann, G. |
| Editor | Pataki, B. |
| Conference Name | Proceedings of the 25th PhD Mini-Symposium |
| Publisher | Budapest University of Technology and Economics, Department of Measurement and Information Systems |
