Effective definability of the reachability relation in timed automata
| Title | Effective definability of the reachability relation in timed automata |
| Publication Type | Journal Article |
| Year of Publication | 2020 |
| Authors | Martin Fränzle, Karin Quaas, Mahsa Shirmohammadi, James Worrell |
| Journal | Information Processing Lettera |
| Volume | 153 |
| Pagination | 105871 |
| ISSN | 0020-0190 |
| URL | https://doi-org/10.1016/j.ipl.2019.105871 |
| DOI | 10.1016/j.ipl.2019.105871 |
| Citation Key | 10.1016/j.ipl.2019.105871 |