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 Sept 20154 Sept 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
  • Formal Methods

    Lucas, P., Lorber, F. L., Jöbstl, E. & Aichernig, B.

    1/01/95 → …

    Project: Research area

  • CRYSTAL - Critical Systems Engineering Factories

    Lorber, F. L. & Aichernig, B.

    1/05/1330/04/16

    Project: Research project

Cite this