Model Checking Reconfigurable Interacting Systems. Abd Alrahman, Y., Azzopardi, S., & Piterman, N. In International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), 2022.
![Model Checking Reconfigurable Interacting Systems [pdf]](https://bibbase.org/img/filetypes/pdf.svg "pdf")
Paper bibtex 1 download
Paper bibtex 1 download @inproceedings{isola-1,
title={Model Checking Reconfigurable Interacting Systems},
author={Abd Alrahman, Yehia and Azzopardi, Shaun and Piterman, Nir},
year="2022",
booktitle="International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA)",
url="https://gupea.ub.gu.se/bitstream/handle/2077/74143/319774.pdf"
}Downloads: 1
{"_id":"PRBKYuzRgm8upGA5P","bibbaseid":"abdalrahman-azzopardi-piterman-modelcheckingreconfigurableinteractingsystems-2022","author_short":["Abd Alrahman, Y.","Azzopardi, S.","Piterman, N."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Model Checking Reconfigurable Interacting Systems","author":[{"propositions":[],"lastnames":["Abd","Alrahman"],"firstnames":["Yehia"],"suffixes":[]},{"propositions":[],"lastnames":["Azzopardi"],"firstnames":["Shaun"],"suffixes":[]},{"propositions":[],"lastnames":["Piterman"],"firstnames":["Nir"],"suffixes":[]}],"year":"2022","booktitle":"International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA)","url":"https://gupea.ub.gu.se/bitstream/handle/2077/74143/319774.pdf","bibtex":"@inproceedings{isola-1,\ntitle={Model Checking Reconfigurable Interacting Systems}, \nauthor={Abd Alrahman, Yehia and Azzopardi, Shaun and Piterman, Nir},\nyear=\"2022\",\nbooktitle=\"International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA)\",\nurl=\"https://gupea.ub.gu.se/bitstream/handle/2077/74143/319774.pdf\"\n}\n\n","author_short":["Abd Alrahman, Y.","Azzopardi, S.","Piterman, N."],"key":"isola-1","id":"isola-1","bibbaseid":"abdalrahman-azzopardi-piterman-modelcheckingreconfigurableinteractingsystems-2022","role":"author","urls":{"Paper":"https://gupea.ub.gu.se/bitstream/handle/2077/74143/319774.pdf"},"metadata":{"authorlinks":{}},"downloads":1},"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/shaunazzopardi/shaunazzopardi.github.io/master/pubs.bib","dataSources":["ec7btnN2RJ3DQyXEw","9BWFRLuir5vrfREwa","xCHooMdeJ6jiWDZAR","mtLriRvYqkiErXwmg"],"keywords":[],"search_terms":["model","checking","reconfigurable","interacting","systems","abd alrahman","azzopardi","piterman"],"title":"Model Checking Reconfigurable Interacting Systems","year":2022,"downloads":1}