DATA61
Saarland University
Australian National University
@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} }