Bounded determinization of timed automata with silent transitions

Research output: Contribution to journal › Article › peer-review

Research Field

@article{a10fa0f4f85a4ea0a345b4bd1447aae5,

title = "Bounded determinization of timed automata with silent transitions",

author = "Florian Lorber and Amnon Rosenmann and Dejan Nickovic and Aichernig, \{Bernhard K.\}",

year = "2017",

language = "English",

volume = "3",

pages = "409--426",

journal = "Real-Time Systems",

issn = "0922-6443",

publisher = "Springer Netherlands",

number = "53",

}