Document Open Access Logo

LIPIcs, Volume 90, TIME'17, Complete Volume

Authors Sven Schewe, Thomas Schneider, Jef Wijsen



PDF
Thumbnail PDF

File

LIPIcs.TIME.2017.pdf
  • Filesize: 15.1 MB
  • 422 pages

Document Identifiers

Author Details

Sven Schewe
Thomas Schneider
Jef Wijsen

Cite AsGet BibTex

Sven Schewe, Thomas Schneider, and Jef Wijsen. LIPIcs, Volume 90, TIME'17, Complete Volume. In 24th International Symposium on Temporal Representation and Reasoning (TIME 2017). Leibniz International Proceedings in Informatics (LIPIcs), Volume 90, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2017)
https://doi.org/10.4230/LIPIcs.TIME.2017

Abstract

LIPIcs, Volume 90, TIME'17, Complete Volume
Keywords
  • Distributed Systems, Design Tools and Techniques, Software/Program Verification, Security and Protection, Models of Computation, Specifying and Verifying and Reasoning about Programs, Mathematical Logic, [Numerical Linear Algebra] Linear Systems, Graph Theory

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail