%0 Conference Paper %1 conf/isola/PasslerASTCJ22 %A Päßler, Juliane %A Aguado, Esther %A Silva, Gustavo Rezende %A Tarifa, Silvia Lizeth Tapia %A Corbato, Carlos Hernández %A Johnsen, Einar Broch %B ISoLA (1) %D 2022 %E Margaria, Tiziana %E Steffen, Bernhard %I Springer %K dblp %P 575-596 %T A Formal Model of Metacontrol in Maude. %U http://dblp.uni-trier.de/db/conf/isola/isola2022-1.html#PasslerASTCJ22 %V 13701 %@ 978-3-031-19849-6

@inproceedings{conf/isola/PasslerASTCJ22, added-at = {2022-12-05T00:00:00.000+0100}, author = {Päßler, Juliane and Aguado, Esther and Silva, Gustavo Rezende and Tarifa, Silvia Lizeth Tapia and Corbato, Carlos Hernández and Johnsen, Einar Broch}, biburl = {https://www.bibsonomy.org/bibtex/21ce5ca9fd1206f660eccbcaa73cf28df/dblp}, booktitle = {ISoLA (1)}, crossref = {conf/isola/2022-1}, editor = {Margaria, Tiziana and Steffen, Bernhard}, ee = {https://doi.org/10.1007/978-3-031-19849-6_32}, interhash = {3a5dda01b399674c6edc44ce27f3dc63}, intrahash = {1ce5ca9fd1206f660eccbcaa73cf28df}, isbn = {978-3-031-19849-6}, keywords = {dblp}, pages = {575-596}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T13:11:52.000+0200}, title = {A Formal Model of Metacontrol in Maude.}, url = {http://dblp.uni-trier.de/db/conf/isola/isola2022-1.html#PasslerASTCJ22}, volume = 13701, year = 2022 }