Skip to main content
CSIRO Logo Data 61 logo

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

Authors

Peter Hoefner and Holger Hermanns

DATA61

Saarland University

Australian National University

Abstract

BibTeX Entry

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

Download