A Maude Formalization of Object Nets
Book chapter (July 2023)
The most recent citing publications are shown below. View all 33 publications that cite this research output on Dimensions.
Book chapter (July 2023)
Article in Applied Sciences (January 2023)
Article in ACM SIGLOG News (July 2022)