{"id":1959,"date":"2023-04-14T09:13:29","date_gmt":"2023-04-14T09:13:29","guid":{"rendered":"https:\/\/remaro.eu\/?page_id=1959"},"modified":"2023-04-14T10:03:57","modified_gmt":"2023-04-14T10:03:57","slug":"please-cite-a-formal-model-of-metacontrol-in-maude-as","status":"publish","type":"page","link":"https:\/\/remaro.eu\/index.php\/please-cite-a-formal-model-of-metacontrol-in-maude-as\/","title":{"rendered":"Please cite &#8220;A Formal Model of Metacontrol in Maude&#8221; as:"},"content":{"rendered":"\n<p class=\"has-normal-font-size\"><strong>BibTeX<\/strong><br>@inproceedings{passler2022formal,<br>title={A formal model of metacontrol in maude},<br>author={P{\\&#8221;a}{\\ss}ler, Juliane and Aguado, Esther and Silva, Gustavo Rezende and Tarifa, Silvia Lizeth Tapia and Corbato, Carlos Hern{\\&#8217;a}ndez and Johnsen, Einar Broch},<br>booktitle={Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22&#8211;30, 2022, Proceedings, Part I},<br>pages={575&#8211;596},<br>year={2022},<br>organization={Springer}<br>}<\/p>\n","protected":false},"excerpt":{"rendered":"<p>BibTeX@inproceedings{passler2022formal,title={A formal model of metacontrol in maude},author={P{\\&#8221;a}{\\ss}ler, Juliane and Aguado, Esther and Silva, Gustavo Rezende and Tarifa, Silvia Lizeth Tapia and Corbato, Carlos Hern{\\&#8217;a}ndez and Johnsen, Einar Broch},booktitle={Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22&#8211;30, 2022, Proceedings, Part I},pages={575&#8211;596},year={2022},organization={Springer}}<\/p>\n","protected":false},"author":4,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":[],"_links":{"self":[{"href":"https:\/\/remaro.eu\/index.php\/wp-json\/wp\/v2\/pages\/1959"}],"collection":[{"href":"https:\/\/remaro.eu\/index.php\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/remaro.eu\/index.php\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/remaro.eu\/index.php\/wp-json\/wp\/v2\/users\/4"}],"replies":[{"embeddable":true,"href":"https:\/\/remaro.eu\/index.php\/wp-json\/wp\/v2\/comments?post=1959"}],"version-history":[{"count":3,"href":"https:\/\/remaro.eu\/index.php\/wp-json\/wp\/v2\/pages\/1959\/revisions"}],"predecessor-version":[{"id":1985,"href":"https:\/\/remaro.eu\/index.php\/wp-json\/wp\/v2\/pages\/1959\/revisions\/1985"}],"wp:attachment":[{"href":"https:\/\/remaro.eu\/index.php\/wp-json\/wp\/v2\/media?parent=1959"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}