English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
Add to Basket
 Local TagsRelease HistoryDetailsSummary
  Reachability in Dynamical Systems with Rounding

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.

Item is

 

show all hide all

Basic

show hide
Item Permalink: https://hdl.handle.net/21.11116/0000-0008-6A83-D Version Permalink: https://hdl.handle.net/21.11116/0000-0009-2F0A-9
Genre: Conference Paper

Files

show Files
hide Files
:
LIPIcs-FSTTCS-2020-36.pdf (Publisher version), 2MB
View   Save
File Permalink:
https://hdl.handle.net/21.11116/0000-0009-2F0B-8
Name:
LIPIcs-FSTTCS-2020-36.pdf
Description:
-
OA-Status:
Visibility:
Public
MIME-Type / Checksum:
application/pdf / [MD5]
Technical Metadata:
View
Copyright Date:
-
Copyright Info:
© Christel Baier, Florian Funke, Simon Jantsch, Toghrul Karimov, Engel Lefaucheux, Joël Ouaknine, Amaury Pouly, David Purser, and Markus A. Whiteland; licensed under Creative Commons License CC-BY 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2020). Editors: Nitin Saxena and Sunil Simon; Article No. 36; pp. 36:1–36:17 Leibniz International Proceedings in Informatics Schloss Dagstuhl – Leibniz-Zentrum für Informatik, Dagstuhl Publishing, Germany
License:
-

Locators

show
hide
Locator:
https://drops.dagstuhl.de/opus/volltexte/2020/13277/ (Publisher version)
Description:
-
OA-Status:
Locator:
https://creativecommons.org/licenses/by/3.0/legalcode (Copyright transfer agreement)
Description:
-
OA-Status:

Creators

show
hide
 Creators:
Baier, Christel1, Author
Funke, Florian1, Author
Jantsch, Simon1, Author
Karimov, Toghrul2, Author           
Lefaucheux, Engel2, Author           
Ouaknine, Joël2, Author           
Pouly, Amaury1, Author           
Purser, David2, Author           
Whiteland, Markus2, Author           
Affiliations:
1External Organizations, ou_persistent22              
2Group J. Ouaknine, Max Planck Institute for Software Systems, Max Planck Society, ou_2541691              

Content

show

Details

show
hide
Language(s): eng - English
 Dates: 2020
 Publication Status: Published online
 Pages: -
 Publishing info: -
 Table of Contents: -
 Rev. Type: -
 Identifiers: BibTex Citekey: BaierFSTTCS2020
DOI: 10.4230/LIPIcs.FSTTCS.2020.36
URN: urn:nbn:de:0030-drops-132778
 Degree: -

Event

show
hide
Title: 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science
Place of Event: Goa, India (Virtual Conference)
Start-/End Date: 2020-12-14 - 2020-12-18

Legal Case

show

Project information

show hide
Project name : AVS-ISS
Grant ID : 648701
Funding program : Horizon 2020 (H2020)
Funding organization : European Commission (EC)

Source 1

show
hide
Title: 40th IARCS Annual Conferenceon Foundations of SoftwareTechnology and TheoreticalComputer Science
  Abbreviation : FSTTCS 2020
  Subtitle : 40th IARCS Annual Conferenceon Foundations of Software Technology and Theoretical Computer Science FSTTCS 2020, December 14–18, 2020, BITS Pilani,K K Birla Goa Campus, Goa, India (Virtual Conference)
Source Genre: Proceedings
 Creator(s):
Saxena, Nitin1, Editor
Simon, Sunil1, Editor
Affiliations:
1 External Organizations, ou_persistent22            
Publ. Info: Wadern : Schloss Dagstuhl
Pages: - Volume / Issue: - Sequence Number: 36 Start / End Page: 1 - 17 Identifier: ISBN: 978-3-95977-174-0

Source 2

show
hide
Title: Leibniz International Proceedings in Informatics
  Abbreviation : LIPIcs
Source Genre: Series
 Creator(s):
Affiliations:
Publ. Info: -
Pages: - Volume / Issue: 182 Sequence Number: - Start / End Page: - Identifier: ISSN: 1868-8969