The University of New South Wales

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

Download