@inproceedings{IFM-2018-GlabbeekHW,
	author        = "Rob J. van Glabbeek and Peter Höfner and Djurre van der Wal",
	booktitle     = "{Proceedings of the 14th International Conference on Integrated Formal Methods}",
	doi           = "10.1007/978-3-319-98938-9_23",
	isbn          = "['978-3-319-98937-2', '978-3-319-98938-9']",
	pages         = "398--418",
	publisher     = "{Springer}",
	title         = "{Analysing AWN-Specifications Using mCRL2 (Extended Abstract)}",
	year          = 2018,
}