@inproceedings{vanGlabbeek_HW_18,
    address          = {Maynooth},
    author           = {van Glabbeek, Robert and H\"{o}fner, Peter and van der Wal, Djurre},
    booktitle        = {14th International Conference on integrated Formal Methods},
    date             = {2018-9-5},
    doi              = {https://doi.org/10.1007/978-3-319-98938-9\_23},
    editor           = {{Carlo A. Furia, Kirsten Winter}},
    keywords         = {process algebra; model checking; {AWN}; {mCRL2}},
    month            = sep,
    pages            = {398-418},
    paperurl         = {https://trustworthy.systems/publications/full_text/vanGlabbeek_HW_18.pdf},
    publisher        = {Springer},
    series           = {Lecture Notes in Computer Science},
    title            = {Analysing {AWN}-specifications using {mCRL2} (extended abstract)},
    volume           = {11023},
    year             = {2018}
  }