@inproceedings{DBLP:conf/isola/AlrahmanASP24,
  author       = {Yehia Abd Alrahman and
                  Shaun Azzopardi and
                  Luca Di Stefano and
                  Nir Piterman},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {Attributed Point-to-Point Communication in {R-CHECK}},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation.
                  Rigorous Engineering of Collective Adaptive Systems - 12th International
                  Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings,
                  Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {15220},
  pages        = {333--350},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-75107-3\_20},
  doi          = {10.1007/978-3-031-75107-3\_20},
  timestamp    = {Sat, 30 Nov 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isola/AlrahmanASP24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"2sirTny7qfLGc4nnp","bibbaseid":"alrahman-azzopardi-stefano-piterman-attributedpointtopointcommunicationinrcheck-2024","author_short":["Alrahman, Y. A.","Azzopardi, S.","Stefano, L. D.","Piterman, N."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Yehia","Abd"],"propositions":[],"lastnames":["Alrahman"],"suffixes":[]},{"firstnames":["Shaun"],"propositions":[],"lastnames":["Azzopardi"],"suffixes":[]},{"firstnames":["Luca","Di"],"propositions":[],"lastnames":["Stefano"],"suffixes":[]},{"firstnames":["Nir"],"propositions":[],"lastnames":["Piterman"],"suffixes":[]}],"editor":[{"firstnames":["Tiziana"],"propositions":[],"lastnames":["Margaria"],"suffixes":[]},{"firstnames":["Bernhard"],"propositions":[],"lastnames":["Steffen"],"suffixes":[]}],"title":"Attributed Point-to-Point Communication in R-CHECK","booktitle":"Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems - 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part II","series":"Lecture Notes in Computer Science","volume":"15220","pages":"333–350","publisher":"Springer","year":"2024","url":"https://doi.org/10.1007/978-3-031-75107-3\\_20","doi":"10.1007/978-3-031-75107-3_20","timestamp":"Sat, 30 Nov 2024 00:00:00 +0100","biburl":"https://dblp.org/rec/conf/isola/AlrahmanASP24.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/isola/AlrahmanASP24,\n author = {Yehia Abd Alrahman and\n Shaun Azzopardi and\n Luca Di Stefano and\n Nir Piterman},\n editor = {Tiziana Margaria and\n Bernhard Steffen},\n title = {Attributed Point-to-Point Communication in {R-CHECK}},\n booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.\n Rigorous Engineering of Collective Adaptive Systems - 12th International\n Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings,\n Part {II}},\n series = {Lecture Notes in Computer Science},\n volume = {15220},\n pages = {333--350},\n publisher = {Springer},\n year = {2024},\n url = {https://doi.org/10.1007/978-3-031-75107-3\\_20},\n doi = {10.1007/978-3-031-75107-3\\_20},\n timestamp = {Sat, 30 Nov 2024 00:00:00 +0100},\n biburl = {https://dblp.org/rec/conf/isola/AlrahmanASP24.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Alrahman, Y. A.","Azzopardi, S.","Stefano, L. D.","Piterman, N."],"editor_short":["Margaria, T.","Steffen, B."],"key":"DBLP:conf/isola/AlrahmanASP24","id":"DBLP:conf/isola/AlrahmanASP24","bibbaseid":"alrahman-azzopardi-stefano-piterman-attributedpointtopointcommunicationinrcheck-2024","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-031-75107-3\\_20"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.uni-trier.de/pid/215/9758.bib","dataSources":["qKSww8Y3LjH72bFAJ","vJCA4F4i8NeGCqowF"],"keywords":[],"search_terms":["attributed","point","point","communication","check","alrahman","azzopardi","stefano","piterman"],"title":"Attributed Point-to-Point Communication in R-CHECK","year":2024}