Effective definability of the reachability relation in timed automata - OFFIS

Your browser does not support JavaScript!

To use all the features of this page, you need JavaScript!<br> Please update your browser or enable JavaScript in your settings.

Home
OFFIS
Publikationen
Effective definability of the reachability relation in timed automata

Effective definability of the reachability relation in timed automata

Export

All authors

Martin Fränzle and Karin Quaas and Mahsa Shirmohammadi and James Worrell

Journal

Inf. Process. Lett.

Publishing date

2020

Type of Publication

article

Doi

10.1016/j.ipl.2019.105871

OFFIS Autoren

Martin Fränzle

Martin Fränzle

Privacy Data Transparency Contact Legals