Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT
Zur Ablage hinzufügen
  Lokale TagsFreigabegeschichteDetailsÜbersicht

Freigegeben
Konferenzbeitrag

Reachability in Dynamical Systems with Rounding

MPG-Autoren
/persons/resource/persons260459

Karimov,  Toghrul
Group J. Ouaknine, Max Planck Institute for Software Systems, Max Planck Society;

/persons/resource/persons245917

Lefaucheux,  Engel
Group J. Ouaknine, Max Planck Institute for Software Systems, Max Planck Society;

/persons/resource/persons217847

Ouaknine,  Joël
Group J. Ouaknine, Max Planck Institute for Software Systems, Max Planck Society;

/persons/resource/persons260461

Purser,  David
Group J. Ouaknine, Max Planck Institute for Software Systems, Max Planck Society;

/persons/resource/persons260463

Whiteland,  Markus
Group J. Ouaknine, Max Planck Institute for Software Systems, Max Planck Society;

Externe Ressourcen

https://drops.dagstuhl.de/opus/volltexte/2020/13277/
(Verlagsversion)

https://creativecommons.org/licenses/by/3.0/legalcode
(Verlagsvertrag)

Volltexte (beschränkter Zugriff)
Für Ihren IP-Bereich sind aktuell keine Volltexte freigegeben.
Volltexte (frei zugänglich)

LIPIcs-FSTTCS-2020-36.pdf
(Verlagsversion), 2MB

Ergänzendes Material (frei zugänglich)
Es sind keine frei zugänglichen Ergänzenden Materialien verfügbar
Zitation

Baier, C., Funke, F., Jantsch, S., Karimov, T., Lefaucheux, E., Ouaknine, J., et al. (2020). Reachability in Dynamical Systems with Rounding. In N. Saxena, & S. Simon (Eds.), 40th IARCS Annual Conferenceon Foundations of SoftwareTechnology and TheoreticalComputer Science (pp. 1-17). Wadern: Schloss Dagstuhl. doi:10.4230/LIPIcs.FSTTCS.2020.36.


Zitierlink: https://hdl.handle.net/21.11116/0000-0008-6A83-D
Zusammenfassung
Es ist keine Zusammenfassung verfügbar