@book{4d0b1211ddee4eac8c86faaa59200b55,
title = "Proceedings: Third Workshop on Models for Formal Analysis of Real Systems rm and Sixth International Workshop on Verification and Program Transformation, Greece, 20th April 2018",
editor = "J. Gallagher and {van Glabbeek}, R.J. and W. Serwe",
year = "2018",
month = mar,
day = "23",
doi = "10.4204/EPTCS.268",
language = "English",
volume = "268",
series = "Electronic Proceedings in Theoretical Computer Science",
publisher = "Open Publishing Association",
address = "Australia",
note = "Third Workshop on Models for Formal Analysis of Real Systems and Sixth International Workshop on Verification and Program Transformation ; Conference date: 20-04-2018",
}