Andrea Bombarda, Silvia Bonfanti, César Cornejo, Angelo Gargantini, Nico Pellegrinelli. Evaluating the Practical Impact of Parallelism in Asmeta. In Fuyuki Ishikawa, Alcino Cunha, editors, Rigorous State-Based Methods - 12th International Conference, ABZ 2026, Tokyo, Japan, May 18-20, 2026, Proceedings. Volume 16579 of Lecture Notes in Computer Science, pages 248-255, Springer, 2026. [doi]
Abstract is missing.