Document Open Access Logo

Frontmatter, Table of Contents, Preface

Authors Jörg Brauer, Marco Roveri, Hendrik Tews



PDF
Thumbnail PDF

File

OASIcs.SSV.2011.i.pdf
  • Filesize: 247 kB
  • 7 pages

Document Identifiers

Author Details

Jörg Brauer
Marco Roveri
Hendrik Tews

Cite AsGet BibTex

6th International Workshop on Systems Software Verification. Open Access Series in Informatics (OASIcs), Volume 24, pp. i-vii, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
https://doi.org/10.4230/OASIcs.SSV.2011.i

Abstract

Frontmatter, Table of Contents, Preface
Keywords
  • Frontmatter
  • Table of Contents
  • Preface

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