TU Darmstadt / ULB / TUbiblio

Checking Timed Bisimulation with Bounded Zone-History Graphs - Technical Report

Luthmann, Lars and Göttmann, Hendrik and Lochau, Malte (2019):
Checking Timed Bisimulation with Bounded Zone-History Graphs - Technical Report.
[Online-Edition: https://arxiv.org/abs/1910.08992],
[Report]

Item Type: Report
Erschienen: 2019
Creators: Luthmann, Lars and Göttmann, Hendrik and Lochau, Malte
Title: Checking Timed Bisimulation with Bounded Zone-History Graphs - Technical Report
Language: English
Divisions: 18 Department of Electrical Engineering and Information Technology
18 Department of Electrical Engineering and Information Technology > Institute of Computer Engineering > Real-Time Systems
18 Department of Electrical Engineering and Information Technology > Institute of Computer Engineering
Date Deposited: 28 Oct 2019 08:46
Official URL: https://arxiv.org/abs/1910.08992
Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)

View Item View Item