@article{DBLP:journals/corr/abs-2202-09344,
  author       = {Angelo Ferrando and
                  Vadim Malvone},
  title        = {Towards the Combination of Model Checking and Runtime Verification
                  on Multi-Agent Systems},
  journal      = {CoRR},
  volume       = {abs/2202.09344},
  year         = {2022},
  url          = {https://arxiv.org/abs/2202.09344},
  eprinttype    = {arXiv},
  eprint       = {2202.09344},
  timestamp    = {Tue, 29 Mar 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2202-09344.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"7zftaLiWPPN984ey9","bibbaseid":"ferrando-malvone-towardsthecombinationofmodelcheckingandruntimeverificationonmultiagentsystems-2022","author_short":["Ferrando, A.","Malvone, V."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Angelo"],"propositions":[],"lastnames":["Ferrando"],"suffixes":[]},{"firstnames":["Vadim"],"propositions":[],"lastnames":["Malvone"],"suffixes":[]}],"title":"Towards the Combination of Model Checking and Runtime Verification on Multi-Agent Systems","journal":"CoRR","volume":"abs/2202.09344","year":"2022","url":"https://arxiv.org/abs/2202.09344","eprinttype":"arXiv","eprint":"2202.09344","timestamp":"Tue, 29 Mar 2022 01:00:00 +0200","biburl":"https://dblp.org/rec/journals/corr/abs-2202-09344.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/corr/abs-2202-09344,\n author = {Angelo Ferrando and\n Vadim Malvone},\n title = {Towards the Combination of Model Checking and Runtime Verification\n on Multi-Agent Systems},\n journal = {CoRR},\n volume = {abs/2202.09344},\n year = {2022},\n url = {https://arxiv.org/abs/2202.09344},\n eprinttype = {arXiv},\n eprint = {2202.09344},\n timestamp = {Tue, 29 Mar 2022 01:00:00 +0200},\n biburl = {https://dblp.org/rec/journals/corr/abs-2202-09344.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Ferrando, A.","Malvone, V."],"key":"DBLP:journals/corr/abs-2202-09344","id":"DBLP:journals/corr/abs-2202-09344","bibbaseid":"ferrando-malvone-towardsthecombinationofmodelcheckingandruntimeverificationonmultiagentsystems-2022","role":"author","urls":{"Paper":"https://arxiv.org/abs/2202.09344"},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://dblp.org/pid/134/9527.bib","dataSources":["jkPac6coMCnfPS9v6","DemJHAtxwifL2qfuu","R5o3TG54ojRn5EMT4","ZEMwcoMYSZFYWJajW","GpdwcjP3cDneQaTbF","N94NEfdRnTcyXcg5P","Mt3To6SuEDqqAnZki","yDhN9JGJxcG56DJKw","5iJsrxNL2p3x5acur"],"keywords":[],"search_terms":["towards","combination","model","checking","runtime","verification","multi","agent","systems","ferrando","malvone"],"title":"Towards the Combination of Model Checking and Runtime Verification on Multi-Agent Systems","year":2022}