%0 Book Section %1 Ferrarotti_2023 %A Ferrarotti, Flavio %A Schewe, Klaus-Dieter %B Rigorous State-Based Methods %D 2023 %I Springer Nature Switzerland %K flavio k-d klaus-dieter mappings theory %P 238--244 %R 10.1007/978-3-031-33163-3_18 %T Behavioural Theory of~Reflective Algorithms %U https://link.springer.com/chapter/10.1007/978-3-031-33163-3_18

@incollection{Ferrarotti_2023, added-at = {2023-06-29T13:36:11.000+0200}, author = {Ferrarotti, Flavio and Schewe, Klaus-Dieter}, biburl = {https://www.bibsonomy.org/bibtex/20fde7c42a43fdfe3d6766ca4d7b50d95/scch}, booktitle = {Rigorous State-Based Methods}, doi = {10.1007/978-3-031-33163-3_18}, interhash = {442b8b8bb5f092a8a965edb281b237fb}, intrahash = {0fde7c42a43fdfe3d6766ca4d7b50d95}, keywords = {flavio k-d klaus-dieter mappings theory}, pages = {238--244}, publisher = {Springer Nature Switzerland}, timestamp = {2023-06-29T13:36:11.000+0200}, title = {Behavioural Theory of~Reflective Algorithms}, url = {https://link.springer.com/chapter/10.1007/978-3-031-33163-3_18}, year = 2023 }