PDF:
Towards Efficient CEGAR-Based Reachability Analysis of Timed Automata
| Title | Towards Efficient CEGAR-Based Reachability Analysis of Timed Automata |
| Publication Type | Conference Paper |
| Year of Publication | 2016 |
| Authors | Farkas, R., and Vörös, A. |
| Conference Name | 23rd Minisymposium of the Department of Measurement and Information Systems |
| Date Published | 2016 |
| Conference Location | Budapest |
