Bounded Determinization of Timed Automata with Silent Transitions

Amnon Rosenmann, Florian Lukas Lorber, Dejan Nickovic, Bernhard Aichernig

Research output: Book/ReportOther reportResearch

Original languageEnglish
Publisher.
Publication statusPublished - 2015

Fields of Expertise

  • Information, Communication & Computing

Cite this

Bounded Determinization of Timed Automata with Silent Transitions. / Rosenmann, Amnon; Lorber, Florian Lukas; Nickovic, Dejan; Aichernig, Bernhard.

., 2015.

Research output: Book/ReportOther reportResearch

Rosenmann, Amnon ; Lorber, Florian Lukas ; Nickovic, Dejan ; Aichernig, Bernhard. / Bounded Determinization of Timed Automata with Silent Transitions. ., 2015.
@book{0677c9ec7528480f9b3a1d8813c8638f,
title = "Bounded Determinization of Timed Automata with Silent Transitions",
author = "Amnon Rosenmann and Lorber, {Florian Lukas} and Dejan Nickovic and Bernhard Aichernig",
note = "Reportnr.: IST-MBT-2015-01",
year = "2015",
language = "English",
publisher = ".",

}

TY - BOOK

T1 - Bounded Determinization of Timed Automata with Silent Transitions

AU - Rosenmann, Amnon

AU - Lorber, Florian Lukas

AU - Nickovic, Dejan

AU - Aichernig, Bernhard

N1 - Reportnr.: IST-MBT-2015-01

PY - 2015

Y1 - 2015

M3 - Other report

BT - Bounded Determinization of Timed Automata with Silent Transitions

PB - .

ER -