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,
    numpages         = {1},
    publisher        = {Open Publishing Association},
    doi              = {https://doi.org/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