@inproceedings{KRE_COORDINATION_2018,
  author = {K{\"u}hn, Eva and Radschek, Sophie Therese and Elaraby, Nahla},
  title = {Distributed Coordination Runtime Assertions for the Peer Model},
  booktitle = {20th International Conference on Coordination Models and Languages (COORDINATION), 
part of the 13th International Federated Conference on Distributed Computing Techniques (DisCoTec)},
  year    = {2018},
  pages   = {}
}