Minimal-Time Synthesis for Parametric Timed Automata

Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  • Étienne André, Université Paris, National Institute of Informatics
  • ,
  • Vincent Bloemen, University of Twente
  • ,
  • Laure Petrucci, Université Paris
  • ,
  • Jaco van de Pol
Original languageEnglish
Title of host publicationTools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings
EditorsTomáš Vojnar, Lijun Zhang
Number of pages18
VolumeII
PublisherSpringer
Publication year2019
Pages211-228
DOIs
Publication statusPublished - 2019
Event25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019 - Prag, Czech Republic
Duration: 6 Apr 201911 Apr 2019

Conference

Conference25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019
LandCzech Republic
ByPrag
Periode06/04/201911/04/2019
SeriesLecture Notes in Computer Science
Volume11428
ISSN0302-9743

See relations at Aarhus University Citationformats

ID: 176170033