%0 Conference Paper %1 conf/ictcs/FerrandoM21 %A Ferrando, Angelo %A Malvone, Vadim %B ICTCS %D 2021 %E Coen, Claudio Sacerdoti %E Salvo, Ivano %I CEUR-WS.org %K dblp %P 302-310 %T Combine Model Checking and Runtime Verification in Multi-Agent Systems. %U http://dblp.uni-trier.de/db/conf/ictcs/ictcs2021.html#FerrandoM21 %V 3072

@inproceedings{conf/ictcs/FerrandoM21, added-at = {2022-01-19T00:00:00.000+0100}, author = {Ferrando, Angelo and Malvone, Vadim}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/23cd67bc26036c85cad55c065d70b8b7c/dblp}, booktitle = {ICTCS}, crossref = {conf/ictcs/2021}, editor = {Coen, Claudio Sacerdoti and Salvo, Ivano}, ee = {http://ceur-ws.org/Vol-3072/paper25.pdf}, interhash = {6692197065f5d6d1f4f98dfde41b70f6}, intrahash = {3cd67bc26036c85cad55c065d70b8b7c}, keywords = {dblp}, pages = {302-310}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, timestamp = {2022-03-01T07:02:09.000+0100}, title = {Combine Model Checking and Runtime Verification in Multi-Agent Systems.}, url = {http://dblp.uni-trier.de/db/conf/ictcs/ictcs2021.html#FerrandoM21}, volume = 3072, year = 2021 }