PDF:
Backward reachability analysis for timed automata with data variables
| Cím | Backward reachability analysis for timed automata with data variables |
| Közlemény típusa | Book Chapter |
| Kiadás éve | 2018 |
| Szerzők | Rebeka, F., Tóth, T., Hajdu, Á., and Vörös, A. |
| Könyvcím | Proceedings of the 18th International Workshop on Automated Verification of Critical Systems |
| Sorozatcím | Electronic Communications of the EASST |
| Kötet | 76 |
| Pagination | 1-20 |
| Kiadó | EASST |
| Város | Oxford, England |
| DOI | 10.14279/tuj.eceasst.76.1076 |
