PDF:
Backward reachability analysis for timed automata with data variables
| Title | Backward reachability analysis for timed automata with data variables |
| Publication Type | Book Chapter |
| Year of Publication | 2018 |
| Authors | Rebeka, F., Tóth, T., Hajdu, Á., and Vörös, A. |
| Book Title | Proceedings of the 18th International Workshop on Automated Verification of Critical Systems |
| Series Title | Electronic Communications of the EASST |
| Volume | 76 |
| Pagination | 1-20 |
| Publisher | EASST |
| City | Oxford, England |
| DOI | 10.14279/tuj.eceasst.76.1076 |
