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

UNSW Sydney

Abstract

BibTeX Entry

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

Download

Served by Apache on Linux on seL4.