@article{sttt2023a,
  title = {Language Support for Verifying Reconfigurable Interacting Systems},
  author = {Abd Alrahman, Yehia and Azzopardi, Shaun and Di Stefano, Luca and Piterman, Nir},
  journal   = {International Journal on Software Tools for Technology Transfer},
  year =  {2023},
  doi = {10.1007/s10009-023-00729-8},
}

{"_id":"RthcsTNWLZYAaBqFP","bibbaseid":"abdalrahman-azzopardi-distefano-piterman-languagesupportforverifyingreconfigurableinteractingsystems-2023","author_short":["Abd Alrahman, Y.","Azzopardi, S.","Di Stefano, L.","Piterman, N."],"bibdata":{"bibtype":"article","type":"article","title":"Language Support for Verifying Reconfigurable Interacting Systems","author":[{"propositions":[],"lastnames":["Abd","Alrahman"],"firstnames":["Yehia"],"suffixes":[]},{"propositions":[],"lastnames":["Azzopardi"],"firstnames":["Shaun"],"suffixes":[]},{"propositions":[],"lastnames":["Di","Stefano"],"firstnames":["Luca"],"suffixes":[]},{"propositions":[],"lastnames":["Piterman"],"firstnames":["Nir"],"suffixes":[]}],"journal":"International Journal on Software Tools for Technology Transfer","year":"2023","doi":"10.1007/s10009-023-00729-8","bibtex":"@article{sttt2023a,\n title = {Language Support for Verifying Reconfigurable Interacting Systems},\n author = {Abd Alrahman, Yehia and Azzopardi, Shaun and Di Stefano, Luca and Piterman, Nir},\n journal = {International Journal on Software Tools for Technology Transfer},\n year = {2023},\n doi = {10.1007/s10009-023-00729-8},\n}\n","author_short":["Abd Alrahman, Y.","Azzopardi, S.","Di Stefano, L.","Piterman, N."],"key":"sttt2023a","id":"sttt2023a","bibbaseid":"abdalrahman-azzopardi-distefano-piterman-languagesupportforverifyingreconfigurableinteractingsystems-2023","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://lazkany.bitbucket.io/grants/syn.bib","dataSources":["ec7btnN2RJ3DQyXEw","9BWFRLuir5vrfREwa","xCHooMdeJ6jiWDZAR"],"keywords":[],"search_terms":["language","support","verifying","reconfigurable","interacting","systems","abd alrahman","azzopardi","di stefano","piterman"],"title":"Language Support for Verifying Reconfigurable Interacting Systems","year":2023}