TCTL-Preserving Translations from Timed-Arc Petri Nets to Networks of Timed Automata

Joakim Byg, Morten Jacobsen, Lasse Jacobsen, Kenneth Yrke Jørgensen, Mikael Harkjær Møller, Jiri Srba

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

6 Citationer (Scopus)

Fingeraftryk

Dyk ned i forskningsemnerne om 'TCTL-Preserving Translations from Timed-Arc Petri Nets to Networks of Timed Automata'. Sammen danner de et unikt fingeraftryk.

Computer Science