Skip to main content

Proceedings of the 2nd workshop on models for formal analysis of real systems

Authors

Peter Hoefner and Holger Hermanns

DATA61

Saarland University

Abstract

BibTeX Entry

  @conference{Hoefner_Hermanns_17,
    publisher        = {Open Publishing Association},
    doi              = {10.4204/EPTCS.244},
    series           = {Electronic Proceedings in Theoretical Computer Science 244},
    booktitle        = {2nd Workshop on Models for Formal Analysis of Real Systems},
    author           = {Hoefner, Peter and Hermanns, Holger},
    month            = mar,
    volume           = {244},
    year             = {2017},
    date             = {2017-3-15},
    title            = {Proceedings of the 2nd Workshop on Models for Formal Analysis of Real Systems},
    address          = {Uppsala, Sweden}
  }

Download

Served by Apache on Linux on seL4.