@article{DBLP:journals/sttt/AlrahmanASP23,
  author       = {Yehia Abd Alrahman and
                  Shaun Azzopardi and
                  Luca Di Stefano and
                  Nir Piterman},
  title        = {Language support for verifying reconfigurable interacting systems},
  journal      = {Int. J. Softw. Tools Technol. Transf.},
  volume       = {25},
  number       = {5},
  pages        = {765--784},
  year         = {2023},
  url          = {https://doi.org/10.1007/s10009-023-00729-8},
  doi          = {10.1007/S10009-023-00729-8},
  timestamp    = {Sat, 08 Jun 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sttt/AlrahmanASP23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"ENk32CgXmt8JJjucC","bibbaseid":"alrahman-azzopardi-stefano-piterman-languagesupportforverifyingreconfigurableinteractingsystems-2023","author_short":["Alrahman, Y. A.","Azzopardi, S.","Stefano, L. D.","Piterman, N."],"bibdata":{"bibtype":"article","type":"article","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":[]}],"title":"Language support for verifying reconfigurable interacting systems","journal":"Int. J. Softw. Tools Technol. Transf.","volume":"25","number":"5","pages":"765–784","year":"2023","url":"https://doi.org/10.1007/s10009-023-00729-8","doi":"10.1007/S10009-023-00729-8","timestamp":"Sat, 08 Jun 2024 01:00:00 +0200","biburl":"https://dblp.org/rec/journals/sttt/AlrahmanASP23.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/sttt/AlrahmanASP23,\n author = {Yehia Abd Alrahman and\n Shaun Azzopardi and\n Luca Di Stefano and\n Nir Piterman},\n title = {Language support for verifying reconfigurable interacting systems},\n journal = {Int. J. Softw. Tools Technol. Transf.},\n volume = {25},\n number = {5},\n pages = {765--784},\n year = {2023},\n url = {https://doi.org/10.1007/s10009-023-00729-8},\n doi = {10.1007/S10009-023-00729-8},\n timestamp = {Sat, 08 Jun 2024 01:00:00 +0200},\n biburl = {https://dblp.org/rec/journals/sttt/AlrahmanASP23.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."],"key":"DBLP:journals/sttt/AlrahmanASP23","id":"DBLP:journals/sttt/AlrahmanASP23","bibbaseid":"alrahman-azzopardi-stefano-piterman-languagesupportforverifyingreconfigurableinteractingsystems-2023","role":"author","urls":{"Paper":"https://doi.org/10.1007/s10009-023-00729-8"},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://dblp.uni-trier.de/pid/215/9758.bib","dataSources":["vJCA4F4i8NeGCqowF","qKSww8Y3LjH72bFAJ"],"keywords":[],"search_terms":["language","support","verifying","reconfigurable","interacting","systems","alrahman","azzopardi","stefano","piterman"],"title":"Language support for verifying reconfigurable interacting systems","year":2023}