@inproceedings{azzopardi2023sttt,
      title={Language Support for Verifying Reconfigurable Interacting Systems}, 
      author={Abd Alrahman, Yehia and Azzopardi, Shaun and Piterman, Nir and di Stefano, Luca},
      year={2023},
      booktitle={International Journal on Software Tools for Technology Transfer (STTT), FoMaC, Special Issues, REoCAS 2022}
}

{"_id":"FnnZBxTS389LcX4dj","bibbaseid":"abdalrahman-azzopardi-piterman-distefano-languagesupportforverifyingreconfigurableinteractingsystems-2023","author_short":["Abd Alrahman, Y.","Azzopardi, S.","Piterman, N.","di Stefano, L."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Language Support for Verifying Reconfigurable Interacting Systems","author":[{"propositions":[],"lastnames":["Abd","Alrahman"],"firstnames":["Yehia"],"suffixes":[]},{"propositions":[],"lastnames":["Azzopardi"],"firstnames":["Shaun"],"suffixes":[]},{"propositions":[],"lastnames":["Piterman"],"firstnames":["Nir"],"suffixes":[]},{"propositions":["di"],"lastnames":["Stefano"],"firstnames":["Luca"],"suffixes":[]}],"year":"2023","booktitle":"International Journal on Software Tools for Technology Transfer (STTT), FoMaC, Special Issues, REoCAS 2022","bibtex":"@inproceedings{azzopardi2023sttt,\n title={Language Support for Verifying Reconfigurable Interacting Systems}, \n author={Abd Alrahman, Yehia and Azzopardi, Shaun and Piterman, Nir and di Stefano, Luca},\n year={2023},\n booktitle={International Journal on Software Tools for Technology Transfer (STTT), FoMaC, Special Issues, REoCAS 2022}\n}\n\n","author_short":["Abd Alrahman, Y.","Azzopardi, S.","Piterman, N.","di Stefano, L."],"key":"azzopardi2023sttt","id":"azzopardi2023sttt","bibbaseid":"abdalrahman-azzopardi-piterman-distefano-languagesupportforverifyingreconfigurableinteractingsystems-2023","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/shaunazzopardi/shaunazzopardi.github.io/master/pubs.bib","dataSources":["mtLriRvYqkiErXwmg"],"keywords":[],"search_terms":["language","support","verifying","reconfigurable","interacting","systems","abd alrahman","azzopardi","piterman","di stefano"],"title":"Language Support for Verifying Reconfigurable Interacting Systems","year":2023}