Bounded Determinization of Timed Automata with Silent Transitions

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

Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-review

Original languageEnglish
Title of host publicationFormal Modeling and Analysis of Timed Systems, FORMATS 13, 2015, Madrid, Spain
Place of PublicationBerlin [u.a.]
PublisherSpringer Verlag
Pages288-304
Volume9268
ISBN (Print)978-3-319-22974-4
DOIs
Publication statusPublished - 2015
EventInternational Conference on Formal Modeling and Analysis of Timed Systems - Madrid, Spain
Duration: 2 Sep 20154 Sep 2015

Publication series

NameLecture Notes in Computer Science
Volume9268

Conference

ConferenceInternational Conference on Formal Modeling and Analysis of Timed Systems
Country/TerritorySpain
CityMadrid
Period2/09/154/09/15

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Theoretical
  • Application

Cite this