Maurice H. ter Beek, José Proença. Animating Rebeca. In Edward A. Lee, Mohammad Reza Mousavi 0001, Carolyn L. Talcott, editors, Rebeca for Actor Analysis in Action - Essays Dedicated to Marjan Sirjani on the Occasion of Her 60th Birthday. Volume 15560 of Lecture Notes in Computer Science, pages 182-194, Springer, 2025. [doi]
Abstract is missing.